hws/build.sc
changeset 977 1e6eca42d90b
parent 937 dc5ab66b11cc
--- 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)
+  }
+}
+