11 lines
224 B
Text
11 lines
224 B
Text
|
|
||
|
|
*********************************************************************
|
||
|
|
|
||
|
|
NOTE:
|
||
|
|
|
||
|
|
TeXi documentation has been installed in
|
||
|
|
/usr/local/share/doc/gnat/texi.
|
||
|
|
|
||
|
|
*********************************************************************
|
||
|
|
|