Provided by: dpkg-dev_1.19.0.5ubuntu2.4_all 

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>.
1.19.0.5 2022-05-25 dpkg-distaddfile(1)