# HG changeset patch
# User Oleksandr Gavenko <gavenkoa@gmail.com>
# Date 1287409534 -10800
# Node ID 42311e764b4ac6a79bb419d425ecc573906e7255
# Parent  66a47b9f26669f700268f833a44fff44ecd1cb9e
Remove duplicated item in dir file.

diff -r 66a47b9f2666 -r 42311e764b4a 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