feat: add options to the makefile and update the watch script to use them

1 files changed, 1 insertions, 1 deletions

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