# Upstream examples contain empty directories
package-contains-empty-directory usr/share/doc/gnat-gps/examples/*

# gnatdoc-generated manual embeds a verbatim copy of GFDL-1.1.
extra-license-file usr/share/doc/gnat-gps/html/gnatdoc/_sources/license.rst.txt

# User's Guide embeds a verbatim copy of GFDL-1.1.
extra-license-file usr/share/doc/gnat-gps/html/users_guide/_sources/license.rst.txt
