From ab3eaff7c40d6de0ca75a92f51225107ca7768ae Mon Sep 17 00:00:00 2001 From: Akim Demaille Date: Thu, 9 May 2019 19:08:07 +0200 Subject: 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. --- THANKS | 2 ++ 1 file changed, 2 insertions(+) (limited to 'THANKS') diff --git a/THANKS b/THANKS index 53a357ae..b14ee695 100644 --- a/THANKS +++ b/THANKS @@ -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 -- cgit v1.2.1