From 9c0d32b9af4250ff3ee5d95c8eac5836d062861e Mon Sep 17 00:00:00 2001 From: Karolina Surma Date: Mon, 22 Aug 2022 14:00:23 +0200 Subject: [PATCH] Remove duplicate files from the built documentation --- python-sphinx.spec | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/python-sphinx.spec b/python-sphinx.spec index ccfdbd3..6d4896b 100644 --- a/python-sphinx.spec +++ b/python-sphinx.spec @@ -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