diff options
| author | Christian Grothoff <christian@grothoff.org> | 2022-10-20 13:02:56 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2022-10-20 13:02:56 +0200 |
| commit | 1ae01f75cd5ee40f5a4c3177d7e7d2d4397e18b7 (patch) | |
| tree | 76f3b932923fa1690add9ae7c8fbc402a3e80627 /contrib/update-tos.sh | |
| parent | 35e505f6bf983a5bffa4fd5d5ef4344c7da75a9f (diff) | |
-improve build logic
Diffstat (limited to 'contrib/update-tos.sh')
| -rwxr-xr-x | contrib/update-tos.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/contrib/update-tos.sh b/contrib/update-tos.sh index 47d3af778..81636be50 100755 --- a/contrib/update-tos.sh +++ b/contrib/update-tos.sh @@ -15,6 +15,7 @@ for l in $@ do mkdir -p $l echo Generating TOS 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,8 @@ 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/tos.$f $l/${VERSION}.$f + mv _build/$f/${VERSION}.$f $l/${VERSION}.$f done done cd .. +echo "Success" |