docdir = $(datadir)/doc/valgrind

doc_DATA = coregrind_core.html coregrind_intro.html coregrind_skins.html

EXTRA_DIST = $(doc_DATA)