From b56db32779a1b63e21fd610c97715f10acd3654a Mon Sep 17 00:00:00 2001
From: Matthieu Pignolet <matthieu@puffer.fish>
Date: Sun, 11 May 2025 19:45:25 +0400
Subject: feat: add options to the makefile and update the watch script to use
 them

---
 watch.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'watch.sh')

diff --git a/watch.sh b/watch.sh
index c591037..d5a09f1 100755
--- a/watch.sh
+++ b/watch.sh
@@ -12,6 +12,6 @@ inotifywait -r -m -e modify . |
     then
         name="${file_name%%.*}"
         # We call the make target in order to build it
-        make "$name.pdf"
+        make "$name.pdf" TEXFLAGS=--halt-on-error
     fi
    done
-- 
cgit v1.2.3