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
