doc: use colors for diagnostics in TeX too

[Akim Demaille]

commit ab3eaff7c40d6de0ca75a92f51225107ca7768ae
Author: Akim Demaille <address@hidden>
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          address@hidden
 Frans Englich             address@hidden
 Gabriel Rassoul           address@hidden
 Gary L Peskin             address@hidden
+Gavin Smith               address@hidden
 Georg Sauthoff            address@hidden
 George Neuner             address@hidden
 Gilles Espinasse          address@hidden
@@ -128,6 +129,7 @@ Oliver Mangold            address@hidden
 Paolo Bonzini             address@hidden
 Paolo Simone Gasparello   address@hidden
 Pascal Bart               address@hidden
+Patrice Dumas             address@hidden
 Paul Eggert               address@hidden
 Paul Hilfinger            address@hidden
 Per Allansson             address@hidden
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
 
address@hidden
+\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}%
+}
address@hidden tex
+
address@hidden
address@hidden colorWarning
address@hidden, <b style="color:darkviolet">}
address@hidden macro
address@hidden colorError
address@hidden, <b style="color:red">}
address@hidden macro
address@hidden colorNotice
address@hidden, <b style="color:darkcyan">}
address@hidden macro
address@hidden colorOff
address@hidden, </b>}
address@hidden macro
address@hidden ifnottex
+
 @macro dwarning{text}
address@hidden, <b style="color:darkviolet">} \text\ @inlineraw{html, </b>}
address@hidden@colorOff{}
 @end macro
 
 @macro derror{text}
address@hidden, <b style="color:red">} \text\ @inlineraw{html, </b>}
address@hidden@colorOff{}
 @end macro
 
 @macro dnotice{text}
address@hidden, <b style="color:darkcyan">} \text\ @inlineraw{html, </b>}
address@hidden@colorOff{}
 @end macro
 
 @finalout