# HG changeset patch # User lumag # Date 1065598732 0 # Node ID cdd9fb032ed284f560e2a982f770e670e409dc97 # Parent 5418c410a3daeab557407a2d992a3ebcda8a447e Fix two missing slashes. diff -r 5418c410a3da -r cdd9fb032ed2 DOCS/xml/Makefile --- a/DOCS/xml/Makefile Wed Oct 08 06:57:33 2003 +0000 +++ b/DOCS/xml/Makefile Wed Oct 08 07:38:52 2003 +0000 @@ -25,7 +25,7 @@ for dir in $(SUBDIRS); do\ test -f $$dir/Makefile &&\ (test -d $(HTML_TOP)/$$dir || mkdir $(HTML_TOP)/$$dir) &&\ - if $(MAKE) HTMLDIR=../$(HTML_TOP)/$$dir -C $$dir; then :; else exit 1; fi; + if $(MAKE) HTMLDIR=../$(HTML_TOP)/$$dir -C $$dir; then :; else exit 1; fi;\ done .PHONY: clean-html @@ -36,7 +36,7 @@ distclean: clean-html for dir in $(SUBDIRS); do\ test -f $$dir/Makefile &&\ - if $(MAKE) HTMLDIR=../$(HTML_TOP)/$$dir -C $$dir distclean ; then :; else exit 1; fi; + if $(MAKE) HTMLDIR=../$(HTML_TOP)/$$dir -C $$dir distclean ; then :; else exit 1; fi;\ done -rm -f html.xsl xsltproc.sh xmllint.sh