diff options
Diffstat (limited to 'doc/devel/Makefile.am')
-rw-r--r-- | doc/devel/Makefile.am | 5 |
1 files changed, 3 insertions, 2 deletions
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 |