[Bug web/87933] New: Bad headers and titles for:

[marxin at gcc dot gnu.org]

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

            Bug ID: 87933
           Summary: Bad headers and titles for:
           Product: gcc
           Version: 9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: web
          Assignee: unassigned at gcc dot gnu.org
          Reporter: marxin at gcc dot gnu.org
                CC: gerald at pfeifer dot com
  Target Milestone: ---

Following pages have equal title and header:

https://gcc.gnu.org/install/configure.html
https://gcc.gnu.org/install/build.html
https://gcc.gnu.org/install/finalinstall.html

all have 'Installing GCC' title.