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@freesbee.fr>, 2002. Philippe Batailler, 2006. Nicolas François, 2006. Veuillez signaler toute erreur à <debian-l10n-french@lists.debian.org>.