update-info-dir

Langue: en

Version: 363653 (ubuntu - 25/10/10)

Section: 8 (Commandes administrateur)

Sommaire

NAME

update-info-dir - (re-)create /usr/share/info/dir from all installed 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).