diff -r fc812b8f120f -r 00c1c3408c93 cws/build.sc --- 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()) }