[Bug target/124140] New: gcc/doc/riscv-ext.texi does not have an explicite license

[doko at gcc dot gnu.org via Gcc-bugs]

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

            Bug ID: 124140
           Summary: gcc/doc/riscv-ext.texi does not have an explicite
                    license
           Product: gcc
           Version: 16.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: doko at gcc dot gnu.org
  Target Milestone: ---

gcc/doc/riscv-ext.texi reads:

@c This is part of the GCC manual.
@c For copying conditions, see the file gcc/doc/include/fdl.texi.

however fdl.texi is just a template, not an actual license. In particular, it
is not clear if this file is with cover texts and invariant sections, or
without. The latter would be preferred.

I didn't check for other riscv64 documentation files.