--- 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())
}