# These files are updated before the build.
ancient-autotools-helper-file config.sub 2001-09-07
outdated-autotools-helper-file config.guess 2008-01-23

# All content available on libre.adacore.com is licensed under the
# terms of the pure GPL, despite the fact that AdaCore have not yet
# adjusted the licensing boilerplate in source files. See
# debian/copyright.
# The patch removing the wrong header contains the header.
# Generated documentations are replaced during the build.
license-problem-gfdl-invariants debian/patches/correct_doc_license.diff invariant part is: with the front-cover texts being gprbuild user's guide , and with no back-cover texts. under the terms of the gnu general public license, version 3 or (at your option) any later version published by the free software foundation
license-problem-gfdl-invariants doc/html/gprbuild_ug.html invariant part is: with the front-cover texts being gprbuild user's guide , and with no back-cover texts
license-problem-gfdl-invariants doc/info/gprbuild_ug.info invariant part is: with the front-cover texts being gprbuild user's guide and with no back-cover texts
license-problem-gfdl-invariants doc/txt/gprbuild_ug.txt invariant part is: with the front-cover texts being gprbuild user's guide and with no back-cover texts
