diff --git a/doc/devel/Makefile.am b/doc/devel/Makefile.am index 2fa11f4a40..62ff245492 100644 --- a/doc/devel/Makefile.am +++ b/doc/devel/Makefile.am @@ -2,12 +2,13 @@ EXTRA_DIST = EXTRA_DIST += Doxyfile Doxyfile-xml EXTRA_DIST += bison.dox EXTRA_DIST += config-backend.dox +EXTRA_DIST += congestion-handling.dox EXTRA_DIST += contribute.dox +EXTRA_DIST += doc.dox +EXTRA_DIST += fuzz.dox EXTRA_DIST += mainpage.dox EXTRA_DIST += terminology.dox EXTRA_DIST += unit-tests.dox -EXTRA_DIST += doc.dox -EXTRA_DIST += congestion-handling.dox all: # do nothing, used only by developers manually