From 42b79931412e12358aa4bad6444fce1e74ca5d82 Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Sun, 13 Nov 2022 11:14:06 +0100
Subject: generate ToS with inline CSS

---
 contrib/update-pp.sh | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

(limited to 'contrib/update-pp.sh')

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 ..
-- 
cgit v1.2.3