summaryrefslogtreecommitdiff
path: root/THANKS
diff options
context:
space:
mode:
authorAkim Demaille <akim@lrde.epita.fr>2014-08-30 00:36:20 +0300
committerAkim Demaille <akim@lrde.epita.fr>2015-01-05 12:27:27 +0100
commita16074bb09740ac84c1d27bbf6733f4a054100ba (patch)
tree7b996d619a12cb5f65c9d8be699d1888b037aa05 /THANKS
parent8386f6ef2825b6de77bf6e94496619cc256ba57b (diff)
downloadbison-a16074bb09740ac84c1d27bbf6733f4a054100ba.tar.gz
build: don't try to generate docs when cross-compiling
When cross-compiling don't run the generated bison to update the docs. Reported by Aaro Koskinen. <http://lists.gnu.org/archive/html/bison-patches/2014-03/msg00000.html> * configure.ac (CROSS_COMPILING): New. * doc/local.mk: Use it.
Diffstat (limited to 'THANKS')
-rw-r--r--THANKS1
1 files changed, 1 insertions, 0 deletions
diff --git a/THANKS b/THANKS
index 096e5edf..2436f004 100644
--- a/THANKS
+++ b/THANKS
@@ -1,6 +1,7 @@
Bison was originally written by Robert Corbett. It would not be what
it is today without the invaluable help of these people:
+Aaro Koskinen aaro.koskinen@iki.fi
Аскар Сафин safinaskar@mail.ru
Airy Andre Airy.Andre@edf.fr
Akim Demaille akim@lrde.epita.fr