docdir = $(datadir)/doc/valgrind doc_DATA = ct_main.html ct_techdocs.html EXTRA_DIST = $(doc_DATA)