|
a/src/doc/user/Makefile |
|
b/src/doc/user/Makefile |
|
... |
|
... |
| 17 |
--stringparam generate.toc "book toc,title,figure,table,example,equation"
|
17 |
--stringparam generate.toc "book toc,title,figure,table,example,equation"
|
| 18 |
|
18 |
|
| 19 |
|
19 |
|
| 20 |
# index.html chunk format target replaced by nicer webhelp (needs separate
|
20 |
# index.html chunk format target replaced by nicer webhelp (needs separate
|
| 21 |
# make) in webhelp/ subdir
|
21 |
# make) in webhelp/ subdir
|
| 22 |
all: usermanual.html usermanual.pdf
|
22 |
all: usermanual.html usermanual.pdf webh
|
| 23 |
|
23 |
|
|
|
24 |
webh:
|
|
|
25 |
make -C webhelp
|
|
|
26 |
|
| 24 |
usermanual.html: usermanual.xml
|
27 |
usermanual.html: usermanual.xml
|
| 25 |
xsltproc ${commonoptions} \
|
28 |
xsltproc ${commonoptions} \
|
| 26 |
-o tmpfile.html "${XSLDIR}/html/docbook.xsl" $<
|
29 |
-o tmpfile.html "${XSLDIR}/html/docbook.xsl" $<
|
| 27 |
-tidy -indent tmpfile.html > usermanual.html
|
30 |
-tidy -indent tmpfile.html > usermanual.html
|
| 28 |
rm -f tmpfile.html
|
31 |
rm -f tmpfile.html
|