merged
authorOleksandr Gavenko <gavenkoa@gmail.com>
Fri, 04 Mar 2011 00:21:06 +0200
changeset 842 061a87405014
parent 840 c7002e98c1d5 (current diff)
parent 841 a6d2c01cc279 (diff)
child 844 1e5afdf631ea
merged
--- a/texi.rst	Thu Mar 03 10:37:15 2011 +0200
+++ b/texi.rst	Fri Mar 04 00:21:06 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
+