path: root/lang/gnat-doc-html/pkg-message_texi

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

NOTE:

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

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