362ea6101c
compiler o Master port for all jgnat-doc-* ports PR: 30365 Submitted by: John Merryweather Cooper <jmcoopr@webmail.bmi.net>
10 lines
224 B
Text
10 lines
224 B
Text
|
|
*********************************************************************
|
|
|
|
NOTE:
|
|
|
|
TeXi documentation has been installed in
|
|
/usr/local/share/doc/gnat/texi.
|
|
|
|
*********************************************************************
|
|
|