diff options
Diffstat (limited to 'Jerusalem')
| -rw-r--r-- | Jerusalem/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Jerusalem/Makefile b/Jerusalem/Makefile index dbe7f79..fb92f9c 100644 --- a/Jerusalem/Makefile +++ b/Jerusalem/Makefile @@ -5,7 +5,7 @@ EXTRAS=$(shell ../.meta/find-extras) all: $(CURDOC)$(EXTRAS).pdf $(CURDOC)$(EXTRAS)-tolino.pdf clean: - rm -f *.pre + rm -f *.pre *.post Clean: clean rm -f *.pdf *.midi |