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

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>.