diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 6 |
1 files changed, 4 insertions, 2 deletions
@@ -48,7 +48,7 @@ stage-4.txt: stage-3.txt stage-4.awk awk -f $(filter %.awk,$^) $< > $@.tmp @mv $@.tmp $@ -stage-5.md: stage-4.txt Makefile +stage-5.md: stage-4.txt @echo '#' $@ @pandoc --from markdown -o $@.tmp.md $< @mv $@.tmp.md $@ @@ -80,7 +80,9 @@ constance-ring.pdf: header.md cover.jpg frontmatter.md stage-5.md spellcheck-wor .PHONY: clean clean: + @rm -f stage-*.txt constance-ring.epub constance-ring.pdf + +clean-ocr: clean if [ -r page-index.txt ]; then cat page-index.txt | xargs rm; rm page-index.txt; fi - @rm -f stage-*.txt $(V).SILENT: |
