[dpdk-stable] [PATCH] doc: fix garbage text in generated HTML guides

[Thomas Monjalon]

05/12/2018 15:25, Luca Boccassi:
> 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 — Data Plane Development Kit make[2]:
> Entering directory '/build/1st/dpdk-18.11/doc/guides'
> 18.11.0
> make[2]: Leaving directory '/build/1st/dpdk-18.11'
> documentation</title>
> 
> Override MAKEFLAGS in the Python subprocess call to avoid this issue.
> 
> Fixes: f7aaae2fe6f7 ("doc: add copyright and version")
> Cc: stable at dpdk.org
> 
> Signed-off-by: Luca Boccassi <bluca at debian.org>

Applied, thanks