--- a/hws/build.sc Fri Nov 29 18:59:32 2024 +0000
+++ b/hws/build.sc Mon Feb 03 12:31:28 2025 +0000
@@ -43,3 +43,22 @@
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)
+ }
+}
+