author | Oleksandr Gavenko <gavenkoa@gmail.com> |
Mon, 19 Oct 2015 17:04:52 +0300 | |
changeset 1769 | cadd23f8127f |
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 |