diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2020-07-08 14:02:00 +0200 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2020-07-08 14:02:00 +0200 |
| commit | 654ef76ccd5f153e2e600ffbac9ea952b878973a (patch) | |
| tree | 84441db64004e8ff11b339f7647f8256275d49b0 /Makefile | |
| parent | 32ae736ab07b915c199010b795f00402bf21d552 (diff) | |
| download | ekdosis-654ef76ccd5f153e2e600ffbac9ea952b878973a.tar.gz | |
removed references to \dummy counter
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
| @@ -39,6 +39,7 @@ $(NAME).pdf: $(NAME).dtx | |||
| 39 | $(CMP) --shell-escape --recorder --interaction=nonstopmode $(NAME).dtx > /dev/null | 39 | $(CMP) --shell-escape --recorder --interaction=nonstopmode $(NAME).dtx > /dev/null |
| 40 | $(CMP) --shell-escape --recorder --interaction=nonstopmode $(NAME).dtx > /dev/null | 40 | $(CMP) --shell-escape --recorder --interaction=nonstopmode $(NAME).dtx > /dev/null |
| 41 | $(CMP) --shell-escape --recorder --interaction=nonstopmode $(NAME).dtx > /dev/null | 41 | $(CMP) --shell-escape --recorder --interaction=nonstopmode $(NAME).dtx > /dev/null |
| 42 | $(CMP) --shell-escape --recorder --interaction=nonstopmode $(NAME).dtx > /dev/null | ||
| 42 | 43 | ||
| 43 | samples: clean sty | 44 | samples: clean sty |
| 44 | if [ ! -d $(PWD)/TMP ]; then mkdir $(PWD)/TMP; fi | 45 | if [ ! -d $(PWD)/TMP ]; then mkdir $(PWD)/TMP; fi |