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 (file)
--- 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