Minor cleaning of build-pp-demo.sh

egallesio · Aug 2, 2023 · b824f7e · b824f7e
1 parent ca734f7
commit b824f7e
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 4 deletions.
diff --git a/doc/pp/Makefile.in b/doc/pp/Makefile.in
@@ -486,7 +486,7 @@ extradoc: pdf
 ../HTML/$(SAMPLE): Resources/mymd-prelude.templ  Resources/mymd-postlude.templ \
                    Resources/pp-demo.md
 	mkdir -p ../HTML
-	(cd Resources; build-pp-demo.sh)
+	(cd Resources; ./build-pp-demo.sh)
 
 # ----------------------------------------------------------------------
 ../PDF/$(PDF): tmp-pdf.txt

diff --git a/doc/pp/Resources/build-pp-demo.sh b/doc/pp/Resources/build-pp-demo.sh
@@ -6,7 +6,8 @@
 #
 #           Author: Erick Gallesio [[email protected]]
 #    Creation date: 22-Jul-2023 18:13
-# Last file update: 22-Jul-2023 18:40 (eg)
 
-../../../src/stklos -q -I ../../../lib -f ../../../utils/stklos-pp.stk \
-                    -- -o ../../HTML/pp-demo.html pp-demo.md
+TOP=../../..
+
+${TOP}/src/stklos -q -I ${TOP}/lib -f ${TOP}/utils/stklos-pp.stk \
+                    -- -o ${TOP}/doc/HTML/pp-demo.html pp-demo.md