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

# This short file is part of the documentation and does not repeat
# debian/copyright.
extra-license-file usr/share/doc/gnat-gps/users_guide/_sources/license.txt
