[Bug other/107621] sphinx generated documents has too much white space on the top

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

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

--- Comment #8 from Martin Liška  ---
(In reply to Andrew Pinski from comment #6)
> How does this fancy stuff work on a text based browser like links or lynx?

It works very well based on what I've seen using lynx browser.

> Do we really need this fancy stuff for a manual?

I hope yes, it was one of the drivers. The old documentation is legacy, purely
formatted HTML w/o search capability and no text formatting.

> Seriously this is getting out of hand.

[Bug other/107621] sphinx generated documents has too much white space on the top

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

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

Martin Liška  changed:

   What|Removed |Added

 Resolution|--- |FIXED
 Status|UNCONFIRMED |RESOLVED
 CC||marxin at gcc dot gnu.org

--- Comment #7 from Martin Liška  ---
This is fixed as Gerald fixed up set-up of the server.