summaryrefslogtreecommitdiff
path: root/THANKS
diff options
context:
space:
mode:
authorAkim Demaille <akim.demaille@gmail.com>2019-05-20 06:11:07 +0200
committerAkim Demaille <akim.demaille@gmail.com>2019-05-20 06:12:47 +0200
commit70c3f3ade5a94034daf44c6d5d4644c180a484ff (patch)
tree548ca5524baecb8cc57ea15268d1948f02acc89b /THANKS
parent1934304acf6be6da3b44b65630d734cad6de1b03 (diff)
downloadbison-70c3f3ade5a94034daf44c6d5d4644c180a484ff.tar.gz
doc: avoid Texinfo portability issues
Reported by Bruno Haible. http://lists.gnu.org/archive/html/bug-bison/2019-05/msg00024.html Fixed by Karl Berry. http://lists.gnu.org/archive/html/bug-bison/2019-05/msg00034.html * doc/bison.texi: Don't specify the langage, rely on the default. Avoid blank pages.
Diffstat (limited to 'THANKS')
-rw-r--r--THANKS1
1 files changed, 1 insertions, 0 deletions
diff --git a/THANKS b/THANKS
index 07355b23..e7ddd751 100644
--- a/THANKS
+++ b/THANKS
@@ -89,6 +89,7 @@ Jonathan Fabrizio jonathan.fabrizio@lrde.epita.fr
Jonathan Nieder jrnieder@gmail.com
Josh Soref jsoref@gmail.com
Juan Manuel Guerrero juan.guerrero@gmx.de
+Karl Berry karl@freefriends.org
Kees Zeelenberg kzlg@users.sourceforge.net
Keith Browne kbrowne@legato.com
Ken Moffat zarniwhoop@ntlworld.com