docdir = $(datadir)/doc/valgrind

doc_DATA = index.html manual.html nav.html techdocs.html

EXTRA_DIST = $(doc_DATA)