diff options
author | Akim Demaille <akim.demaille@gmail.com> | 2019-05-09 19:08:07 +0200 |
---|---|---|
committer | Akim Demaille <akim.demaille@gmail.com> | 2019-05-09 19:21:02 +0200 |
commit | ab3eaff7c40d6de0ca75a92f51225107ca7768ae (patch) | |
tree | 642b757766d6f39765eea1f0b86bdc01243caf85 /THANKS | |
parent | 85e83ea9687818cb4786d3e05b4419d68b792528 (diff) | |
download | bison-ab3eaff7c40d6de0ca75a92f51225107ca7768ae.tar.gz |
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.
Diffstat (limited to 'THANKS')
-rw-r--r-- | THANKS | 2 |
1 files changed, 2 insertions, 0 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 |