4 INFODIR
=/usr
/share
/info
5 sudo
rm -f "$INFODIR/dir"
9 for dir
in $
(emacs
--batch --eval '(progn(package-initialize) (dolist (x Info-directory-list) (message x)))' |
& sed 's,/$,,' |
sort -u); do
12 # this is from /usr/sbin/update-info-dir
15 find $dir -type f |
while read -r file ; do
17 */dir|
*/dir.gz|
*/dir.old|
*/dir.old.gz|
*-[0-9]|
*-[0-9].gz|
*-[1-9][0-9]|
*-[1-9][0-9].gz|
*.png|
*.jpg
)
18 # these files are ignored
23 sudo install-info
"$file" "$INFODIR/dir"
31 for file in "$dir"/*.info
*; do
33 sudo install-info
"$file" "$INFODIR/dir"