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