EXTRA_DIST = gtk_entry.dia \
             documentation_generation.txt gmmproc_internals.txt using_gmmproc.txt

post-html:

doc-clean:

.PHONY: post-html doc-clean