From 0fb13b776774e39b62c61da9a0ab5ca814c5f1de Mon Sep 17 00:00:00 2001
From: Robert Alessi <alessi@robertalessi.net>
Date: Sat, 13 Oct 2018 16:19:58 +0200
Subject: print line numbers in bold face in the apparatus

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index de40689..114be45 100644
--- a/Makefile
+++ b/Makefile
@@ -7,7 +7,7 @@ UTREE = $(shell kpsewhich --var-value TEXMFHOME)
 all:	$(NAME).pdf
 	test -e README.txt && mv README.txt README || exit 0
 $(NAME).pdf: $(NAME).dtx
-	lualatex -shell-escape -recorder -interaction=batchmode $(NAME).dtx >/dev/null
+	lualatex  -recorder -interaction=batchmode $(NAME).dtx >/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
 	lualatex --recorder --interaction=nonstopmode $(NAME).dtx > /dev/null
-- 
cgit v1.2.3