From f33fc352fc0dd9fbc89b07d3ee297158f89957bf Mon Sep 17 00:00:00 2001 From: Robert Alessi Date: Fri, 26 Jun 2020 09:38:37 +0200 Subject: more options in \DeclareApparatus. still documenting --- Makefile | 1 + 1 file changed, 1 insertion(+) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 1377980..fe0b2cc 100644 --- a/Makefile +++ b/Makefile @@ -25,6 +25,7 @@ $(NAME).pdf: $(NAME).dtx $(CMP) --shell-escape --recorder --interaction=nonstopmode $(NAME).dtx > /dev/null $(CMP) --shell-escape --recorder --interaction=nonstopmode $(NAME).dtx > /dev/null $(CMP) --shell-escape --recorder --interaction=nonstopmode $(NAME).dtx > /dev/null + $(CMP) --shell-escape --recorder --interaction=nonstopmode $(NAME).dtx > /dev/null clean: rm -rf auto -- cgit v1.2.3