texi.rst
changeset 841 a6d2c01cc279
parent 733 c86db1b20879
--- a/texi.rst	Sun Feb 27 15:33:37 2011 +0200
+++ b/texi.rst	Wed Mar 02 20:32:01 2011 +0200
@@ -7,3 +7,17 @@
   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
+