(debian-policy.info)dpkg-distaddfile - adds a file to debian/files
15.1.5 ‘dpkg-distaddfile’ - adds a file to ‘debian/files’
---------------------------------------------------------
Some packages’ uploads need to include files other than the source and
binary package files.
‘dpkg-distaddfile’ adds a file to the ‘debian/files’ file so that it
will be included in the ‘.changes’ file when ‘dpkg-genchanges’ is run.
It is usually invoked from the ‘binary’ target of ‘debian/rules’:
dpkg-distaddfile filename section priority
The filename is relative to the directory where ‘dpkg-genchanges’ will
expect to find it - this is usually the directory above the top level of
the source tree. The ‘debian/rules’ target should put the file there
just before or just after calling ‘dpkg-distaddfile’.
The section and priority are passed unchanged into the resulting
‘.changes’ file.
automatically generated by info2www version 1.2.2.9