gatuno-terminal/help/C
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