|
a/src/doc/user/xmlmake.sh |
|
b/src/doc/user/xmlmake.sh |
|
... |
|
... |
| 41 |
--stringparam html.stylesheet docbook-xsl.css \
|
41 |
--stringparam html.stylesheet docbook-xsl.css \
|
| 42 |
--stringparam generate.toc \"book toc,title,figure,table,example,equation\" \
|
42 |
--stringparam generate.toc \"book toc,title,figure,table,example,equation\" \
|
| 43 |
"
|
43 |
"
|
| 44 |
|
44 |
|
| 45 |
# Do the chunky thing
|
45 |
# Do the chunky thing
|
| 46 |
test $dochunky -ne 0 && eval xsltproc $commonoptions \
|
46 |
if test $dochunky -ne 0 ; then
|
|
|
47 |
eval xsltproc $commonoptions \
|
| 47 |
--stringparam use.id.as.filename 1 \
|
48 |
--stringparam use.id.as.filename 1 \
|
|
|
49 |
--stringparam root.filename index \
|
| 48 |
"$XSLDIR/html/chunk.xsl" \
|
50 |
"$XSLDIR/html/chunk.xsl" \
|
| 49 |
usermanual.xml
|
51 |
usermanual.xml
|
|
|
52 |
fi
|
| 50 |
|
53 |
|
| 51 |
# Produce the single file version
|
54 |
# Produce the single file version
|
| 52 |
eval xsltproc $commonoptions \
|
55 |
eval xsltproc $commonoptions \
|
| 53 |
-o usermanual.html \
|
56 |
-o usermanual.html \
|
| 54 |
"$XSLDIR/html/docbook.xsl" \
|
57 |
"$XSLDIR/html/docbook.xsl" \
|