diff options
-rw-r--r-- | THANKS | 2 | ||||
-rw-r--r-- | doc/bison.texi | 39 |
2 files changed, 38 insertions, 3 deletions
@@ -66,6 +66,7 @@ Frank Heckenbach frank@g-n-u.de Frans Englich frans.englich@telia.com Gabriel Rassoul gabriel.rassoul@epita.fr Gary L Peskin garyp@firstech.com +Gavin Smith gavinsmith0123@gmail.com Georg Sauthoff gsauthof@TechFak.Uni-Bielefeld.DE George Neuner gneuner2@comcast.net Gilles Espinasse g.esp@free.fr @@ -128,6 +129,7 @@ Oliver Mangold o.mangold@gmail.com Paolo Bonzini bonzini@gnu.org Paolo Simone Gasparello djgaspa@gmail.com Pascal Bart pascal.bart@epita.fr +Patrice Dumas pertusus@free.fr Paul Eggert eggert@cs.ucla.edu Paul Hilfinger Hilfinger@CS.Berkeley.EDU Per Allansson per@appgate.com 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 |