Fix publish more.

2024-01-01 22:15:15 -08:00
parent a6c6b8d25f
commit f70f802a75
3 changed files with 16 additions and 15 deletions
--- a/configure.py
+++ b/configure.py
@ -268,7 +268,7 @@ rule forth_test

 rule publish
  description = PUBLISH $pubpath
-  command = $src/tools/publish.py --src $in --dst $pubpath \
+  command = $src/tools/publish.py --src $in --dst "$pubpath" \
  -DVERSION=$VERSION \
  -DSTABLE_VERSION=$STABLE_VERSION \
  -DOLD_STABLE_VERSION=$OLD_STABLE_VERSION \