update or create index file from all installed info files in directory
see also :
info - install-info
add an example, a script, a trick and tips
no example yet ...
... Feel free to add your own example above to help other Linux-lovers !
create, the index file dir of available documentation
in /usr/share/info/ (the default) or in given DIRECTORY. The
index file info is the directory is usually presented
by info browsers on startup.
Display help and exit.
page was written by Norbert Preining
<preining[:at:]logic[:dot:]at>, for the Debian GNU/Linux system
(but may be used by others).
page was written for the Debian GNU/Linux distribution
because the original script was designed for Debian