From 5e8becd7abfd72fd83f940166755d1eed24c58a2 Mon Sep 17 00:00:00 2001
From: Robert Alessi <alessi@robertalessi.net>
Date: Fri, 2 Apr 2021 18:40:59 +0200
Subject: use a configuration file if any. added some clarifications and
 corrections

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index eade9cd..4479b82 100644
--- a/Makefile
+++ b/Makefile
@@ -39,7 +39,7 @@ $(NAME).pdf: testsamples $(NAME).dtx
 	@ 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
 	@ echo "Final runs of $(CMP)..."
-	@ for run in {1..3}; do $(call do_documentation); done
+	@ for run in {1..7}; do $(do_documentation); done
 	@ echo "Done"
 
 samples: clean sty
-- 
cgit v1.2.3