diff options
| -rw-r--r-- | doc/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/Makefile b/doc/Makefile index ef3ef6d1..ea030189 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -31,10 +31,10 @@ publish: $(DOC) git push) clean: - rm -f *.html *.pdf *.fo + rm -f $(HTML) $(PDF) *.fo distclean: - rm -f *.html *.pdf *.fo + rm -f $(HTML) $(PDF) *.fo indent: altusmetrum.xsl xmlindent -i 2 < altusmetrum.xsl > altusmetrum.new |