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
This patch incorporates your review suggestions.
Successfully checked as XHTML 1.0 Transitional.
I've committed it to CVS.
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.
It adds various entries to the stylesheet