info files

SYNOPSIS
       update-info-dir [options]

DESCRIPTION
       This manual page documents briefly the update-info-dir  command.   This
       manual  page  was written for the Debian GNU/Linux distribution because
       the original script was designed for Debian packaging system.

       update-info-dir [info-directory] (re-)creates the  index  of  available
       documentation  in  info  format (the file /usr/share/info/dir) which is
       usually presented by info browsers on startup.

OPTIONS
       info-directory
              If an argument is given update the dir  file  in  the  directory
              given, otherwise use /usr/share/info.

AUTHOR
       This  manual  page was written by Norbert Preining <preining@logic.at>,
       for the Debian GNU/Linux system (but may be used by others).