# Templates contain empty directories
package-contains-empty-directory usr/share/gps/gnatdoc/html/static/docs/
package-contains-empty-directory usr/share/gps/gnatdoc/html/static/entities/
package-contains-empty-directory usr/share/gps/gnatdoc/html/static/images/
package-contains-empty-directory usr/share/gps/gnatdoc/html/static/srcs/
package-contains-empty-directory usr/share/gps/gnatdoc/simple/support/_static/
package-contains-empty-directory usr/share/gps/gnatdoc/simple/support/_templates/
package-contains-empty-directory usr/share/gps/templates/ajis_hello/bin/
package-contains-empty-directory usr/share/gps/templates/ajis_hello/binding/
package-contains-empty-directory usr/share/gps/templates/ajis_hello/obj/
package-contains-empty-directory usr/share/gps/templates/gtkada_minimal/obj/
package-contains-empty-directory usr/share/gps/templates/simple_project/obj/
package-contains-empty-directory usr/share/gps/templates/stm32f_leds/obj/

# gps-welcome.html is intended for the executable, not as a standalone
# documentation, but it is convenient to store it under /usr/share/doc
# so that the relative links work.
possible-documentation-but-no-doc-base-registration
