*********************************************************************

NOTE:

TeXi documentation has been installed in
/usr/local/share/doc/gnat/texi.

*********************************************************************