blob: e8a58fa18eef3ee56e37498ef0d7beff2dcbd53c [file] [log] [blame]
sewardjde4a1d02002-03-22 01:27:54 +00001docdir = $(datadir)/doc/valgrind
2
3doc_DATA = index.html manual.html nav.html techdocs.html
4
5EXTRA_DIST = $(doc_DATA)