doc: add some missing files to EXTRA_DIST

Signed-off-by: Peter Hutterer <peter.hutterer@who-t.net>

diff --git a/doc/Makefile.am b/doc/Makefile.am
index b4b5d542c1b370c9e2b077591331a450f8e2c230..51b31a922822c67fac53fbd85a22b066f23f76d6 100644 (file)
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -35,7 +35,7 @@ clean-local:
        $(AM_V_at)rm -rf html
 
 doc_src= $(shell find html -type f -printf "html/%P\n" 2>/dev/null)
-EXTRA_DIST += $(builddir)/html/index.html $(doc_src)
+EXTRA_DIST += $(builddir)/html/index.html $(doc_src) $(diagram_files) $(header_files)
 
 endif