This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [committed 2/2] wwwdocs: Document my gcc 8 changes for the website (v2)
On Wed, 2018-04-04 at 21:02 +0200, Gerald Pfeifer wrote:
> On Wed, 4 Apr 2018, David Malcolm wrote:
> > I made this version using gcc-color-to-html.py from the previous
> > patch,
> > to turn the SGR codes into spans for use with our gcc.css.
>
> Nice. Out of curiosity, did you do this manually in the past?
Yes, in the past I've added the bold/colorization markup by hand (ugh).
Having a script to do this for our "screenshots" is a big time-saver.
Dave