diff options
| -rwxr-xr-x | readlicense_oo/util/makefile.pmk | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/readlicense_oo/util/makefile.pmk b/readlicense_oo/util/makefile.pmk index f9c33fc05479..ef4d7f39e254 100755 --- a/readlicense_oo/util/makefile.pmk +++ b/readlicense_oo/util/makefile.pmk @@ -55,7 +55,11 @@ $(COMMONMISC)$/readme.dtd : ..$/readme.dtd virtual : $(MERGEDXRM) $(COMMONMISC)$/readme.dtd $(PRJ)$/docs/readme.xsl $(MISC)$/readme_text.xsl : virtual +.IF "$(USE_SHELL)"!="4nt" + $(SED) 's#method="html".*>#method="text"/>#' < ..$/readme.xsl > $@ +.ELSE # "$(USE_SHELL)"!="4nt" $(SED) "s/method=\"html\".*>/method=\"text\"\/>/" < ..$/readme.xsl > $@ +.ENDIF # "$(USE_SHELL)"!="4nt" $(MISC)$/$(GUI)$/$(eq,$(GUI),WNT readme README)_%.html : 'virtual' $(XSLTPROC) --nonet -o $@ \ |