gfdoc:
	gfdoc -txthtml abstract/*.gf
	gfdoc -txthtml */Paradigms*.gf
	mv abstract/*.html doc/gfdoc
	mv */Paradigms*.html doc/gfdoc
