equal
deleted
inserted
replaced
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 |
|