texi.rst
changeset 1905 fba288d59662
child 1912 8b81a8f0f692
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/texi.rst	Mon Feb 22 12:46:36 2016 +0200
@@ -0,0 +1,35 @@
+.. -*- coding: utf-8; -*-
+.. include:: HEADER.rst
+
+======
+ Texi
+======
+.. contents::
+   :local:
+
+Convert texi to html
+====================
+
+With ``texi2html``::
+
+  http://www.mathematik.uni-kl.de/~obachman/Texi2html/
+    Texi2html's Homepage
+
+Install texi files
+==================
+::
+
+  $ install -m 444  my.info.gz /usr/local/share/info
+  $ cd /usr/local/share/info
+  $ install-info --name=my --entry="My utilities." my.info.gz dir
+
+For debug you can use ``--dry-run`` (do nothing).
+
+Uninstall texi files
+====================
+::
+
+  $ cd /usr/local/share/info
+  $ install-info --delete my.info.gz dir
+  $ rm my.info.gz
+