Manpages

NOM

dpkg−distaddfile − Ajouter une entrée au fichier debian/files.

SYNOPSIS

dpkg−distaddfile [options...] fichier section priorité

DESCRIPTION

dpkg−distaddfile ajoute une entrée pour un fichier dans debian/files.

Il prend trois arguments sans option, à savoir le nom du fichier, la section et la priorité, pour le fichier .changes.

Le nom du fichier sera indiqué relativement au répertoire dans lequel dpkg−genchanges s’attend à trouver les fichiers, habituellement .., plutôt que relativement au répertoire dans lequel est exécuté dpkg−distaddfile.

OPTIONS

−ffichier/liste−des−fichiers

Lit ou écrit la liste des fichiers qui doivent être envoyés vers l’archive dans ce fichier plutôt que dans le fichier debian/files.

−?, −−help

Affiche un message d’aide puis quitte.

−−version

Affiche le numéro de version puis quitte.

FICHIERS

debian/files

La liste des fichiers créés qui seront installés sur le serveur. dpkg−distaddfile peut être utilisé pour ajouter des fichiers supplémentaires.

VOIR AUSSI

deb−src−files(5).

TRADUCTION

Ariel VARDI <ariel.vardi [AT] freesbee.fr>, 2002. Philippe Batailler, 2006. Nicolas François, 2006. Veuillez signaler toute erreur à <debian−l10n−french [AT] lists.org>.

COMMENTS