update-pp.sh (727B)
1 #!/bin/sh 2 # This file is in the public domain 3 4 # Should be called with the list of languages to generate, i.e. 5 # $ ./update-pp.sh en de fr it 6 7 # Error checking on 8 set -eu 9 echo "Generating PP for ETag $VERSION" 10 11 rm -f sphinx.log sphinx.err 12 # We process inputs using Makefile in tos/ directory 13 cd pp 14 for l in $@ 15 do 16 mkdir -p $l 17 echo Generating PP for language $l 18 # 'f' is for the supported formats, note that the 'make' target 19 # MUST match the file extension. 20 for f in html txt pdf epub xml 21 do 22 rm -rf _build 23 echo " Generating format $f" 24 make -e SPHINXOPTS="-D language='$l'" $f >>sphinx.log 2>>sphinx.err < /dev/null 25 mv _build/$f/pp.$f $l/${VERSION}.$f 26 done 27 done 28 cd ..