[Bug web/117883] New: Build libgdiagnostics documentation as HTML and put on gcc.gnu.org somewhere

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

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

            Bug ID: 117883
           Summary: Build libgdiagnostics documentation as HTML and put on
                    gcc.gnu.org somewhere
           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: ---

We're not yet building the libgdiagnostics documentation for the website;
filing this as a reminder to get this done.