add format choice in watch

2025-09-24 19:17:37 +02:00
parent b67990cca1
commit 50db684e36
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@@ -1,5 +1,5 @@
 watch:
-	./watch_compile.sh
+	./watch_compile.sh $(word 2,$(MAKECMDGOALS))

 html:
 	./scripts/slides_to_html.sh slides.md