diff options
Diffstat (limited to 'contrib/update-pp.sh')
| -rwxr-xr-x | contrib/update-pp.sh | 10 |
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 .. |