Hi Gavin, Sorry for the delays...
> Le 29 avr. 2019 à 18:31, Gavin Smith <[email protected]> a écrit : > > On Sun, Apr 28, 2019 at 06:42:05PM +0200, Akim Demaille wrote: >> Actually it works so well that now I wish I could also use >> colors in PDF. I have played with \pdfsetcolor, tweaked >> with whatever seemed relevant in texinfo.tex, but to no >> avail. The Internet offers nothing interesting on "Texinfo >> PDF colors" (except for URLs). > >> Even something copied straight from texinfo.tex does not work: >> >> @macro dwarning{text} >> @inlinefmtifelse{tex, @inlineraw{tex, {\setcolor{\linkcolor}}} \text\ >> @inlineraw{tex, {\endlink}}, \text\} >> @end macro > > This may not work as \linkcolor is black by default. What I meant is that it does not compile at all. I knew it was black by default, but first have the syntax right :) Reading your code, I realize it should have been @macro dwarning{text} @inlineraw{tex, {@setcolor{@linkcolor}}} \text\ @inlineraw{tex, {@setcolor{@maincolor}}} @end macro > The following works to put text surrounded by @colorOn{} and @colorOff{} > in a purple colour: > > [...] > The colour is set in texinfo.tex with \pdfliteral and the "rg" and "RG" > commands for PDF. These take RGB values with each component being a > number between 0 and 1. Thanks a lot for the hint! I'll install the following in Bison. Cheers! commit ab3eaff7c40d6de0ca75a92f51225107ca7768ae Author: Akim Demaille <[email protected]> Date: Thu May 9 19:08:07 2019 +0200 doc: use colors for diagnostics in TeX too Thanks to Gavin Smith and Patrice Dumas. http://lists.gnu.org/archive/html/help-texinfo/2019-04/msg00015.html * doc/bison.texi (@colorWarning, @colorError, @colorNotice) (@colorOff): Define for TeX and HTML. (@dwarning, @derror, @dnotice): Use them. diff --git a/THANKS b/THANKS index 53a357ae..b14ee695 100644 --- a/THANKS +++ b/THANKS @@ -66,6 +66,7 @@ Frank Heckenbach [email protected] Frans Englich [email protected] Gabriel Rassoul [email protected] Gary L Peskin [email protected] +Gavin Smith [email protected] Georg Sauthoff [email protected] George Neuner [email protected] Gilles Espinasse [email protected] @@ -128,6 +129,7 @@ Oliver Mangold [email protected] Paolo Bonzini [email protected] Paolo Simone Gasparello [email protected] Pascal Bart [email protected] +Patrice Dumas [email protected] Paul Eggert [email protected] Paul Hilfinger [email protected] Per Allansson [email protected] diff --git a/doc/bison.texi b/doc/bison.texi index a6cd29a1..821a5b4c 100644 --- a/doc/bison.texi +++ b/doc/bison.texi @@ -7,16 +7,49 @@ @settitle Bison @value{VERSION} @setchapternewpage odd +@tex +\gdef\rgbWarning{0.50 0 0.50} +\gdef\colorWarning{% + \setcolor{\rgbWarning}% +} +\gdef\rgbError{0.80 0 0} +\gdef\colorError{% + \setcolor{\rgbError}% +} +\gdef\rgbNotice{0 0 0.80} +\gdef\colorNotice{% + \setcolor{\rgbNotice}% +} +\gdef\colorOff{% + \setcolor{\maincolor}% +} +@end tex + +@ifnottex +@macro colorWarning +@inlineraw{html, <b style="color:darkviolet">} +@end macro +@macro colorError +@inlineraw{html, <b style="color:red">} +@end macro +@macro colorNotice +@inlineraw{html, <b style="color:darkcyan">} +@end macro +@macro colorOff +@inlineraw{html, </b>} +@end macro +@end ifnottex + @macro dwarning{text} -@inlineraw{html, <b style="color:darkviolet">} \text\ @inlineraw{html, </b>} +@colorWarning{}\text\@colorOff{} @end macro @macro derror{text} -@inlineraw{html, <b style="color:red">} \text\ @inlineraw{html, </b>} +@colorError{}\text\@colorOff{} @end macro @macro dnotice{text} -@inlineraw{html, <b style="color:darkcyan">} \text\ @inlineraw{html, </b>} +@colorNotice{}\text\@colorOff{} @end macro @finalout
