Remove duplicate files from the built documentation

This commit is contained in:
Karolina Surma 2022-08-22 14:00:23 +02:00
parent 9104ffe553
commit 9c0d32b9af

View File

@ -268,6 +268,10 @@ export SPHINXBUILD="%{python3} ../sphinx/cmd/build.py"
make html SPHINXBUILD="$SPHINXBUILD"
make man SPHINXBUILD="$SPHINXBUILD"
rm -rf _build/html/.buildinfo
# Those files are copied to _build/html/_images and loaded to the
# html pages from there - we can safely remove the duplicated and unused files
rm -rf _build/html/_static/themes _build/html/_static/tutorial
rm -f _build/html/_static/more.png _build/html/_static/translation.svg
mv _build/html ..
popd