# The license is not mentioned verbatim, but these file have to exist.
libgtkada-doc binary: extra-license-file usr/share/doc/libgtkada-doc/gtkada_ug.html/_sources/license.txt
libgtkada-doc binary: extra-license-file usr/share/doc/libgtkada-doc/gtkada_ug.text/license.txt
