From: Adam Dickmeiss <adam@indexdata.dk>
Date: Wed, 19 Aug 2015 08:52:09 +0000 (+0200)
Subject: Merge branch 'master' of ssh://git.indexdata.com/home/git/pub/mp-xquery
X-Git-Tag: v0.5~3
X-Git-Url: http://git.indexdata.com/?p=mp-xquery-moved-to-github.git;a=commitdiff_plain;h=43cf61c8b4e6d973b749eb5eb5f33c0dbee758ac;hp=6646f2a101fd65370576a813a3b5784311a38821

Merge branch 'master' of ssh://git.indexdata.com/home/git/pub/mp-xquery
---

diff --git a/doc/Makefile b/doc/Makefile
index 9c68dad..d319661 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -35,7 +35,7 @@ mp-xquery.pdf: $(XMLFILES) local.ent
 	$(MAN_COMPILE) $<
 
 clean:
-	rm -f *.html *.pdf manref.xml *.hhp *.hhc $(MANFILES)
+	rm -f local.ent *.html *.pdf manref.xml *.hhp *.hhc $(MANFILES)
 
 distclean: clean