On Wed, 4 Apr 2018, David Malcolm wrote:
> 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.
I was afraid of that. What you did here really is a great time
(and frustration) saver.
And, of course, Pyt
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
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?
Gerald
