Rechercher une page de manuel
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 filesSYNOPSIS
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).Contenus ©2006-2024 Benjamin Poulain
Design ©2006-2024 Maxime Vantorre