X-Git-Url: http://git.indexdata.com/?a=blobdiff_plain;f=doc%2FMakefile;h=d3196612abfba67c266546ad4391ef78dd01cebd;hb=c2fa79dbb731508e341554799eb12f0ee0b3183f;hp=9c68dad8aad4b944f9445c28f0337648d4c5aa7d;hpb=52dfb95535ec053527b1e82fd81bda4ea46c9771;p=mp-xquery-moved-to-github.git 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