The gtkada reference manual is intended to be built by the
generate-docs script, using the gnat-gps tool, itself depending on the
gtkada library.

For the moment, the Debian packaging breaks this circular dependency
by not building the reference manual. A better solution would be to
have two source packages:

Package: libgtkada2.18-dev

Package: gnat-gps
Build-Depends: libgtkada2.18-dev

Package: libgtkada-doc
Build-Depends: gnat-gps

--

Partially related problem: lintian complains rightfully that most data
in libgtkada is actually arch-independant. Maybe a -common package
split is needed.
