https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65098

            Bug ID: 65098
           Summary: ada/gnat_rm.texi:8889: warning: undefined flag:
                    gnat_version
           Product: gcc
           Version: 5.0
            Status: UNCONFIRMED
          Severity: trivial
          Priority: P3
         Component: ada
          Assignee: unassigned at gcc dot gnu.org
          Reporter: vries at gcc dot gnu.org

src/gcc/ada/gnat_rm.texi:8889: warning: undefined flag: gnat_version

The problem shows up in the resulting page (
https://gcc.gnu.org/onlinedocs/gnat_rm/Attribute-Compiler_005fVersion.html#Attribute-Compiler_005fVersion
):
...
A typical result would be something like "GNAT {No value for `gnat_version'}
(20090221)".
...

Reply via email to