docdir =
$(datadir)
/doc/valgrind
doc_DATA =
ct_main.html ct_techdocs.html
EXTRA_DIST =
$(doc_DATA)
syntax highlighted by
Code2HTML
, v. 0.9.1