dpkg-distaddfile(1) 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.

TRADUCTION

Ariel VARDI <[email protected]>, 2002. Philippe Batailler, 2006. Nicolas François, 2006. Veuillez signaler toute erreur à <[email protected]>.