info.rst
changeset 1894 2e3bc2435d68
parent 1893 da0024f4f068
child 1895 91e537a35a34
equal deleted inserted replaced
1893:da0024f4f068 1894:2e3bc2435d68
     1 -*- mode: outline; coding: utf-8 -*-
       
     2 
       
     3 * How to install info files?
       
     4 
       
     5   $ cd autobook
       
     6   $ make info
       
     7 ...
       
     8   $ ls autobook.info*
       
     9 autobook.info  autobook.info-1  autobook.info-2  autobook.info-3
       
    10   $ cp autobook.info* $HOME/usr/share/info
       
    11   $ /usr/bin/install-info --info-dir=$HOME/usr/share/info autobook.info
       
    12 
       
    13 or automated
       
    14 
       
    15   # Under Debian you need use 'ginstall-info' instead 'install-info'.
       
    16   for i in `find . -name "*.info" -o -name "*.info-*"`; do
       
    17     cp  $i ~/usr/share/info
       
    18     install-info  $i ~/usr/share/info/dir
       
    19   done
       
    20 
       
    21 * Remove duplicated item in dir file.
       
    22 
       
    23   $ install-info --add-once ${info_file} /path/to/dir