generate ToS with inline CSS

1 files changed, 7 insertions, 2 deletions

diff --git a/contrib/update-tos.sh b/contrib/update-tos.sh
index 81636be50..67db7c031 100755
--- a/contrib/update-tos.sh
+++ b/contrib/update-tos.sh
@@ -14,7 +14,7 @@ cd tos
 for l in $@
 do
     mkdir -p $l
-    echo Generating TOS for language $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.
@@ -23,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/${VERSION}.$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 ..