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