diff -r 8a8d87394608 -r d9d52f3e7935 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())
 }