merged
authorOleksandr Gavenko <gavenkoa@gmail.com>
Fri, 04 Mar 2011 15:16:16 +0200
changeset 844 1e5afdf631ea
parent 842 061a87405014 (diff)
parent 843 f482238ec20a (current diff)
child 847 aabd0ddc26de
merged
--- a/texi.rst	Fri Mar 04 15:14:27 2011 +0200
+++ b/texi.rst	Fri Mar 04 15:16:16 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
+