diff options
Diffstat (limited to 'readlicense_oo/util')
-rwxr-xr-x | readlicense_oo/util/makefile.pmk | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/readlicense_oo/util/makefile.pmk b/readlicense_oo/util/makefile.pmk index aa66ec0657b9..b5c9099a1aa6 100755 --- a/readlicense_oo/util/makefile.pmk +++ b/readlicense_oo/util/makefile.pmk @@ -70,6 +70,12 @@ $(MISC)$/$(GUI)$/$(eq,$(GUI),WNT readme README)_%.html : 'virtual' chmod g+w $(MISC)$/$(GUI) .ENDIF # "$(GUI)"=="UNX" +$(MISC)$/$(GUI)$/$(eq,$(GUI),OS2 readme README)_%.html : 'virtual' + $(XSLTPROC) --nonet -o $@ \ + --stringparam os1 $(OS) --stringparam gui1 $(GUI) --stringparam com1 $(COM) \ + --stringparam cp1 $(CPUNAME) --stringparam type html --stringparam lang1 $* \ + ..$/readme.xsl $(MERGEDXRM) + # no percent-rule to avoid ambiguous inference chains for README_<lang>.html $(SYSTEXTDOCS) : $(MISC)$/readme_text.xsl $(XSLTPROC) --nonet -o $@ \ |