annotate doc/docbook2html.sh @ 2916:ae6cdcd69d9f default tip

Merge with upstream/master.
author Matti Hamalainen <ccr@tnsp.org>
date Tue, 14 May 2019 11:46:50 +0300
parents 66576dec9d26
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1773
66576dec9d26 scripts for converting wiki documentation to docbook
Vladimir Nadvornik <nadvornik@suse.cz>
parents:
diff changeset
1 #!/bin/sh
66576dec9d26 scripts for converting wiki documentation to docbook
Vladimir Nadvornik <nadvornik@suse.cz>
parents:
diff changeset
2
66576dec9d26 scripts for converting wiki documentation to docbook
Vladimir Nadvornik <nadvornik@suse.cz>
parents:
diff changeset
3 mkdir html
66576dec9d26 scripts for converting wiki documentation to docbook
Vladimir Nadvornik <nadvornik@suse.cz>
parents:
diff changeset
4 #xsltproc --xinclude -o index.html /usr/share/xml/docbook/stylesheet/nwalsh/current/html/docbook.xsl docbook/GuideIndex.xml
66576dec9d26 scripts for converting wiki documentation to docbook
Vladimir Nadvornik <nadvornik@suse.cz>
parents:
diff changeset
5
66576dec9d26 scripts for converting wiki documentation to docbook
Vladimir Nadvornik <nadvornik@suse.cz>
parents:
diff changeset
6 # this requires gnome-doc-utils package
66576dec9d26 scripts for converting wiki documentation to docbook
Vladimir Nadvornik <nadvornik@suse.cz>
parents:
diff changeset
7 xsltproc --xinclude -o html/GuideIndex.html /usr/share/xml/gnome/xslt/docbook/html/db2html.xsl docbook/GuideIndex.xml