search

mate-desktop / mate-terminal

The MATE Terminal Emulator
http://www.mate-desktop.org
GNU General Public License v3.0
133 stars 73 forks source link

Upgrade the manual to docbook 5.0 #281

Closed rbuj closed 5 years ago

rbuj commented 5 years ago

To upgrade the manual:

wget https://docbook.org/xml/5.0.1/tools/db4-upgrade.xsl
xsltproc --output index-new.docbook db4-upgrade.xsl index.docbook
xsltproc --output legal-new.xml db4-upgrade.xsl legal.xml

To validate the manual:

wget https://docbook.org/xml/5.0.1/rng/docbookxi.rng
jing docbookxi.rng index.docbook

To view the manual:

yelp file:///full_path/index.docbook