quick changes

2026-05-25 04:07:16 +00:00 · 2025-04-13 23:36:09 +02:00
parent 7a463ec506
commit 1135b4ddac
3 changed files with 14 additions and 10 deletions
--- a/2
+++ b/2
@@ -4,7 +4,7 @@ OUTDIR=output

 all:
 	@mkdir -p $(OUTDIR)
-	$(TEX) -output-directory=$(OUTDIR) $(SRC) -interaction=batchmode
+	$(TEX) -output-directory=$(OUTDIR) $(SRC)

 clean:
 	rm -rf $(OUTDIR)/*.aux $(OUTDIR)/*.log $(OUTDIR)/*.pdf