diff -r 7a8187cf5bb3 -r 67d6615fa6e3 cws/build.sc
--- a/cws/build.sc	Mon Oct 10 15:06:41 2022 +0100
+++ b/cws/build.sc	Mon Oct 10 15:07:31 2022 +0100
@@ -21,5 +21,6 @@
 
 @main
 def hg() = {
-  os.proc("hg", "commit", "-m texupdate", files.mkString(" ")).call()
+  println(s"$files")
+  println(os.proc("hg", "commit", "-m texupdate", files.mkString(" ")).call())
 }