From e76ae3e1038bfba0c61ef78857f7594b66afb1f1 Mon Sep 17 00:00:00 2001
From: Robert Alessi <alessi@robertalessi.net>
Date: Thu, 16 Jul 2020 10:21:22 +0200
Subject: added \SetLineation

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index b57cb54..fc30a49 100644
--- a/Makefile
+++ b/Makefile
@@ -31,7 +31,7 @@ $(NAME).pdf: $(NAME).dtx
 	mv TMP/*.pdf samples/
 	mv $(texsamplesout)-tei.xml samples/
 	@ echo "Build the documentation of $(NAME)..."
-	$(CMP) --shell-escape -recorder -interaction=batchmode $(NAME).dtx >/dev/null
+	$(CMP) --shell-escape --recorder --interaction=batchmode $(NAME).dtx >/dev/null
 	biber $(NAME) >/dev/null
 	if [ -f $(NAME).glo ]; then makeindex -q -s gglo.ist -o $(NAME).gls $(NAME).glo; fi
 	if [ -f $(NAME).idx ]; then makeindex -q -s gind.ist -o $(NAME).ind $(NAME).idx; fi
-- 
cgit v1.2.3