equal
deleted
inserted
replaced
15 # Under Debian you need use 'ginstall-info' instead 'install-info'. |
15 # Under Debian you need use 'ginstall-info' instead 'install-info'. |
16 for i in `find . -name "*.info" -o -name "*.info-*"`; do |
16 for i in `find . -name "*.info" -o -name "*.info-*"`; do |
17 cp $i ~/usr/share/info |
17 cp $i ~/usr/share/info |
18 install-info $i ~/usr/share/info/dir |
18 install-info $i ~/usr/share/info/dir |
19 done |
19 done |
|
20 |
|
21 * Remove duplicated item in dir file. |
|
22 |
|
23 $ install-info --add-once ${info_file} /path/to/dir |