doc: fix garbage text in generated HTML guides
authorLuca Boccassi <bluca@debian.org>
Wed, 5 Dec 2018 14:25:45 +0000 (14:25 +0000)
committerThomas Monjalon <thomas@monjalon.net>
Wed, 19 Dec 2018 02:23:37 +0000 (03:23 +0100)
commit430b35de4a579a7f65eda5c3fd00eaab2bc57aca
tree4d8a9238fd262ed3b55d1501ac95dfbb650d8224
parentf18e18e0ccf7d3cb08042ad77074e1cbd070555d
doc: fix garbage text in generated HTML guides

If the user has MAKEFLAGS set in the environment when building the
documentation, the doc/guides/conf.py script which calls "make"
exclusively to get the project version might pick up garbage from
stdout, like:

<title>FAQ &mdash; Data Plane Development Kit make[2]:
Entering directory &#39;/build/1st/dpdk-18.11/doc/guides&#39;
18.11.0
make[2]: Leaving directory &#39;/build/1st/dpdk-18.11&#39;
documentation</title>

Override MAKEFLAGS in the Python subprocess call to avoid this issue.

Fixes: f7aaae2fe6f7 ("doc: add copyright and version")
Cc: stable@dpdk.org
Signed-off-by: Luca Boccassi <bluca@debian.org>
doc/guides/conf.py