Remove duplicated item in dir file.
authorOleksandr Gavenko <gavenkoa@gmail.com>
Mon, 18 Oct 2010 16:45:34 +0300
changeset 608 42311e764b4a
parent 607 66a47b9f2666
child 609 e2b229c8dde9
Remove duplicated item in dir file.
info.rst
--- a/info.rst	Fri Oct 15 14:11:20 2010 +0300
+++ b/info.rst	Mon Oct 18 16:45:34 2010 +0300
@@ -17,3 +17,7 @@
     cp  $i ~/usr/share/info
     install-info  $i ~/usr/share/info/dir
   done
+
+* Remove duplicated item in dir file.
+
+  $ install-info --add-once ${info_file} /path/to/dir