[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

doc: use colors for diagnostics in TeX too

From: Akim Demaille
Subject: doc: use colors for diagnostics in TeX too
Date: Fri, 10 May 2019 07:00:45 +0200

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.
    * 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
+\gdef\rgbWarning{0.50 0 0.50}
+ \setcolor{\rgbWarning}%
+\gdef\rgbError{0.80 0 0}
+ \setcolor{\rgbError}%
+\gdef\rgbNotice{0 0 0.80}
+ \setcolor{\rgbNotice}%
+ \setcolor{\maincolor}%
address@hidden tex
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>}
 @end macro
 @macro derror{text}
address@hidden, <b style="color:red">} \text\ @inlineraw{html, </b>}
 @end macro
 @macro dnotice{text}
address@hidden, <b style="color:darkcyan">} \text\ @inlineraw{html, </b>}
 @end macro

reply via email to

[Prev in Thread] Current Thread [Next in Thread]