From 091aa9ad4f1792f16b4b40e12192603d2a9d3e97 Mon Sep 17 00:00:00 2001
From: Robert Alessi <alessi@robertalessi.net>
Date: Wed, 1 Jul 2020 09:54:08 +0200
Subject: include \getsiglum in cmdtotei()

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index fe0b2cc..43430a6 100644
--- a/Makefile
+++ b/Makefile
@@ -17,7 +17,7 @@ sty: clean
 	$(CMP) $(NAME).ins
 
 $(NAME).pdf: $(NAME).dtx
-	$(CMP) --shell-escape -recorder -interaction=batchmode $(NAME)-ex.tex >/dev/null
+#	$(CMP) --shell-escape -recorder -interaction=batchmode $(NAME)-ex.tex >/dev/null
 	$(CMP) --shell-escape -recorder -interaction=batchmode $(NAME).dtx >/dev/null
 	biber $(NAME)
 	if [ -f $(NAME).glo ]; then makeindex -q -s gglo.ist -o $(NAME).gls $(NAME).glo; fi
-- 
cgit v1.2.3