handouts/build.sc
changeset 981 14e5ae1fb541
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/handouts/build.sc	Fri Sep 05 16:59:48 2025 +0100
@@ -0,0 +1,68 @@
+#!/usr/bin/env amm
+
+
+/*
+val files = Seq("hw01.tex",
+	        "hw02.tex",
+	        "hw03.tex",
+	        "hw04.tex",
+	        "hw05.tex",
+                "hw06.tex",
+	        "hw07.tex",
+	        "hw08.tex",
+	        "hw09.tex")
+
+val pdf_files = files.map(s => s.stripSuffix("tex") ++ "pdf")
+
+
+@main
+def make() = {
+  for (f <- files) {
+    println(s"Processing $f ...")
+    os.proc("lualatex", f).call(stdout = os.Inherit, stdin = os.Inherit)
+  }
+}
+
+@main
+def make_sols() = {
+  for (f <- files) {
+    val old_pdf = f.stripSuffix(".tex") ++ ".pdf"
+    val new_pdf = f.stripSuffix(".tex") ++ "-sol.pdf"
+    println(s"Processing $f -> $new_pdf ...")
+    os.proc("lualatex", f, "sol").call(stdout = os.Inherit, stdin = os.Inherit)
+    os.move.over(os.pwd / old_pdf, os.pwd / new_pdf)
+  }
+}
+
+@main
+def all() = {
+  make_sols()
+  make()
+}
+
+@main
+def hg() = {
+  println(os.proc("hg", "commit", "-m texupdate", files ++ pdf_files).call())
+  println(os.proc("hg", "push").call())
+}
+
+*/
+ 
+// extensions of files to be deleted
+val todelete =
+  List("fdb_latexmk",
+       "log",
+       "aux",
+       "xdv",
+       "out", 
+       "fls")
+
+
+@main
+def clean() = {
+  for (f <- os.list.stream(os.pwd) if todelete.contains(f.ext)) {
+    println(s"Delete: ${f.last}")
+    os.remove(f)
+  }
+}
+