[gtkada] circular dependency on gtkada rm document generation

[Jacob Sparre Andersen]

John Marino wrote:

> 1) Is there really no way RM documentation can be built *WITHOUT* GPS?
> (I mean could a reasonable change be made to eliminate the requirement
> of GPS because it's obvious it's needed right now)

Have you asked the maintainer(s) of the GtkAda packages for Debian how
they do it.  I believe they may well have a solution.

Greetings,

Jacob
-- 
"USA fights for the right of the individual."
"Yes.  Those of the individual George W. Bush."
                                     -- with thanks to Olfax