aboutsummaryrefslogtreecommitdiff
path: root/contrib/update-pp.sh
diff options
context:
space:
mode:
Diffstat (limited to 'contrib/update-pp.sh')
-rwxr-xr-xcontrib/update-pp.sh10
1 files changed, 8 insertions, 2 deletions
diff --git a/contrib/update-pp.sh b/contrib/update-pp.sh
index db31ba18a..948f6af35 100755
--- a/contrib/update-pp.sh
+++ b/contrib/update-pp.sh
@@ -14,7 +14,8 @@ cd pp
for l in $@
do
mkdir -p $l
- echo Generating PP for language $l
+ echo "Generating PP for language $l"
+ cat conf.py.in | sed -e "s/%VERSION%/$VERSION/g" > conf.py
# 'f' is for the supported formats, note that the 'make' target
# MUST match the file extension.
for f in html txt pdf epub xml
@@ -22,7 +23,12 @@ do
rm -rf _build
echo " Generating format $f"
make -e SPHINXOPTS="-D language='$l'" $f >>sphinx.log 2>>sphinx.err < /dev/null
- mv _build/$f/pp.$f $l/${VERSION}.$f
+ if test $f = "html"
+ then
+ htmlark -o $l/${VERSION}.$f _build/$f/${VERSION}.$f
+ else
+ mv _build/$f/${VERSION}.$f $l/${VERSION}.$f
+ fi
done
done
cd ..