source: release/1.2/source/doc/src/makehtml @ 9219

Last change on this file since 9219 was 9219, checked in by gb, 11 years ago

synch from trunk

File size: 480 bytes
Line 
1%.html:%.xml $(XSLFILES)
2        $(XSLTPROC) \
3                --xinclude \
4                --stringparam root.filename $(basename $(@F)) \
5                --stringparam base.dir $(TEMP)/ \
6                --stringparam openmcl.directory $(@D)/ \
7                --stringparam onechunk \
8                        $(if $(findstring Doc, $(@D)), 0, 1) \
9                --stringparam xsltproc.version "$(XSLTPROCVERSION)." \
10                --stringparam svnrev "$(SVNREV)"\
11                $(EXTRAPARAMS) \
12                $(STYLESHEET) $<
13        rm -f $(if $(findstring Doc, $(@D)), $(@D)/*.html, $@)
14        mv $(TEMP)/*.html $(@D)/
Note: See TracBrowser for help on using the repository browser.