From 752e4828d73f5ca9aba9d9e830b9f76cb5c5672a Mon Sep 17 00:00:00 2001 From: Jason Ish Date: Thu, 19 Mar 2020 16:27:37 -0600 Subject: [PATCH] devguide: include sources in EXTRA_DIST Required for distcheck to pass, and required to build docs from a dist archive. --- doc/devguide/Makefile.am | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/doc/devguide/Makefile.am b/doc/devguide/Makefile.am index 75e764fad0..3f8ac6d1c7 100644 --- a/doc/devguide/Makefile.am +++ b/doc/devguide/Makefile.am @@ -1,7 +1,15 @@ +EXTRA_DIST = \ + conf.py \ + _static \ + index.rst \ + code-submission-process.rst \ + code-style.rst \ + app-layer + if HAVE_SPHINXBUILD if HAVE_PDFLATEX -EXTRA_DIST = devguide.pdf +EXTRA_DIST += devguide.pdf endif SPHINX_BUILD = sphinx-build -q