| author | Oleksandr Gavenko <gavenkoa@gmail.com> |
| Wed, 05 Aug 2015 23:55:34 +0300 | |
| changeset 1729 | 22ffd80639c0 |
| parent 608 | 42311e764b4a |
| permissions | -rw-r--r-- |
|
330
8b23914a019e
How to install info files?
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
1 |
-*- mode: outline; coding: utf-8 -*- |
|
8b23914a019e
How to install info files?
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
2 |
|
|
8b23914a019e
How to install info files?
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
3 |
* How to install info files? |
|
8b23914a019e
How to install info files?
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
4 |
|
|
8b23914a019e
How to install info files?
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
5 |
$ cd autobook |
|
8b23914a019e
How to install info files?
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
6 |
$ make info |
|
8b23914a019e
How to install info files?
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
7 |
... |
|
8b23914a019e
How to install info files?
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
8 |
$ ls autobook.info* |
| 340 | 9 |
autobook.info autobook.info-1 autobook.info-2 autobook.info-3 |
|
330
8b23914a019e
How to install info files?
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
10 |
$ cp autobook.info* $HOME/usr/share/info |
|
8b23914a019e
How to install info files?
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
diff
changeset
|
11 |
$ /usr/bin/install-info --info-dir=$HOME/usr/share/info autobook.info |
|
526
412609662010
How to install info files?
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
340
diff
changeset
|
12 |
|
|
412609662010
How to install info files?
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
340
diff
changeset
|
13 |
or automated |
|
412609662010
How to install info files?
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
340
diff
changeset
|
14 |
|
|
412609662010
How to install info files?
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
340
diff
changeset
|
15 |
# Under Debian you need use 'ginstall-info' instead 'install-info'. |
|
412609662010
How to install info files?
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
340
diff
changeset
|
16 |
for i in `find . -name "*.info" -o -name "*.info-*"`; do |
|
412609662010
How to install info files?
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
340
diff
changeset
|
17 |
cp $i ~/usr/share/info |
|
412609662010
How to install info files?
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
340
diff
changeset
|
18 |
install-info $i ~/usr/share/info/dir |
|
412609662010
How to install info files?
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
340
diff
changeset
|
19 |
done |
|
608
42311e764b4a
Remove duplicated item in dir file.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
526
diff
changeset
|
20 |
|
|
42311e764b4a
Remove duplicated item in dir file.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
526
diff
changeset
|
21 |
* Remove duplicated item in dir file. |
|
42311e764b4a
Remove duplicated item in dir file.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
526
diff
changeset
|
22 |
|
|
42311e764b4a
Remove duplicated item in dir file.
Oleksandr Gavenko <gavenkoa@gmail.com>
parents:
526
diff
changeset
|
23 |
$ install-info --add-once ${info_file} /path/to/dir
|