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