devguide: include sources in EXTRA_DIST

Required for distcheck to pass, and required to build docs
from a dist archive.
pull/4777/head
Jason Ish 5 years ago committed by Victor Julien
parent 211b193e08
commit 752e4828d7

@ -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

Loading…
Cancel
Save