rbuj 11909bfdfe Upgrade the manual to docbook 5.0 ... 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		2019-04-11 21:54:19 +02:00
..
figures	Help: fix broken help images	2015-07-02 17:52:13 +02:00
index.docbook	Upgrade the manual to docbook 5.0	2019-04-11 21:54:19 +02:00
legal.xml	Upgrade the manual to docbook 5.0	2019-04-11 21:54:19 +02:00