Re: [PATCH 1/2] wwwdocs: Add bin/gcc-color-to-html.py

2018-04-04 Thread Gerald Pfeifer
On Wed, 4 Apr 2018, David Malcolm wrote: > I've committed it to CVS, with the following changes: Lovely, thank you! Gerald

Re: [PATCH 1/2] wwwdocs: Add bin/gcc-color-to-html.py

2018-04-04 Thread David Malcolm
On Wed, 2018-04-04 at 21:01 +0200, Gerald Pfeifer wrote: > On Wed, 4 Apr 2018, David Malcolm wrote: > > Here's the new script I've been using for converting from > > diagnostic-color.c output to HTML spans that use gcc.css, > > via something like: > > > > LANG=C gcc $@ -fdiagnostics-color=always

Re: [PATCH 1/2] wwwdocs: Add bin/gcc-color-to-html.py

2018-04-04 Thread Gerald Pfeifer
On Wed, 4 Apr 2018, David Malcolm wrote: > Here's the new script I've been using for converting from > diagnostic-color.c output to HTML spans that use gcc.css, > via something like: > > LANG=C gcc $@ -fdiagnostics-color=always 2>&1 > | ./bin/gcc-color-to-html.py > > The script converts SGR_S

[PATCH 1/2] wwwdocs: Add bin/gcc-color-to-html.py

2018-04-04 Thread David Malcolm
Here's the new script I've been using for converting from diagnostic-color.c output to HTML spans that use gcc.css, via something like: LANG=C gcc $@ -fdiagnostics-color=always 2>&1 | ./bin/gcc-color-to-html.py The script converts SGR_SEQ(COLOR_BOLD) to a rather than so that it can use