diff options
Diffstat (limited to 'lang/gnat-doc-html/pkg-message_info')
-rw-r--r-- | lang/gnat-doc-html/pkg-message_info | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/lang/gnat-doc-html/pkg-message_info b/lang/gnat-doc-html/pkg-message_info new file mode 100644 index 000000000000..7c2284187eac --- /dev/null +++ b/lang/gnat-doc-html/pkg-message_info @@ -0,0 +1,11 @@ + +********************************************************************* + +NOTE: + +GNU info browser entries have been installed in /usr/local/info/dir. +If entries do not appear in your info browser, make sure that +/usr/local/info is in your INFOPATH. + +********************************************************************* + |