cws/build.sc
changeset 889 00c1c3408c93
parent 887 d9d52f3e7935
child 919 53f08d873e09
--- a/cws/build.sc	Mon Oct 10 15:15:15 2022 +0100
+++ b/cws/build.sc	Fri Oct 14 00:31:47 2022 +0100
@@ -1,12 +1,12 @@
 #!/usr/bin/env amm
 
-val files = List("cw01.tex",
+val files = Seq("cw01.tex",
 	         "cw02.tex",
 	         "cw03.tex",
 	         "cw04.tex",
 	         "cw05.tex")
 
-
+val pdf_files = files.map(s => s.stripSuffix("tex") ++ "pdf")
 
 
 @main
@@ -21,6 +21,6 @@
 
 @main
 def hg() = {
-  println(s"$files")
-  println(os.proc("hg", "commit", "-m texupdate", files.mkString(" ")).call())
+  println(os.proc("hg", "commit", "-m texupdate", files ++ pdf_files).call())
+  println(os.proc("hg", "push").call())
 }