[Bug other/31955] [4.2/4.3 Regression] gcc_release does not generate HTML files from install manual

[rguenth at gcc dot gnu dot org]

-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2
            Summary|[4.2/4.3 regression]        |[4.2/4.3 Regression]
                   |gcc_release does not        |gcc_release does not
                   |generate HTML files from    |generate HTML files from
                   |install manual              |install manual


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=31955