diff -r 0b5f06539a84 -r dc5ab66b11cc hws/build.sc
--- a/hws/build.sc	Mon Oct 02 23:10:56 2023 +0100
+++ b/hws/build.sc	Tue Oct 03 14:29:12 2023 +0100
@@ -33,6 +33,12 @@
 }
 
 @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())