[Bug web/119227] New: Does the generated HTML for cobol get installed to the website?

[dmalcolm at gcc dot gnu.org]

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

            Bug ID: 119227
           Summary: Does the generated HTML for cobol get installed to the
                    website?
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: web
          Assignee: unassigned at gcc dot gnu.org
          Reporter: dmalcolm at gcc dot gnu.org
  Target Milestone: ---

In gcc/cobol/Make-lang.in I see:


cobol.install-html: installdirs gcobol.html gcobol-io.html
        $(INSTALL_DATA) gcobol.html gcobol-io.html $(DESTDIR)$(htmldir)/


...generated via "mandoc" from the manpage.  Do these HTML files get uploaded
to the website?

FWIW I'm looking at special-casing cobol in regenerate-opt-urls.py and am
wondering what the URLs should look like.