[Bug modula2/107245] New: calling makeinfo with --no-headers produces invalid info files

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

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

            Bug ID: 107245
           Summary: calling makeinfo with --no-headers produces invalid
                    info files
           Product: gcc
           Version: 13.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: modula2
          Assignee: gaius at gcc dot gnu.org
          Reporter: doko at gcc dot gnu.org
  Target Milestone: ---

gcc/m2/Make-lang.in calls makeinfo with --no-headers and produces invalid info
files, which cannot be used within emacs or the with the info program.