From be252c39682e9f846ca151536341ab5400ac381d Mon Sep 17 00:00:00 2001
From: Akim Demaille <akim@epita.fr>
Date: Sun, 4 Nov 2007 21:17:55 +0000
Subject: [PATCH] * doc/Makefile.am: Complete the previous checkin.

---
 doc/Makefile.am | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/doc/Makefile.am b/doc/Makefile.am
index e130ba5..9cf734c 100644
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -16,7 +16,14 @@
 
 AM_MAKEINFOFLAGS = --no-split
 info_TEXINFOS = bison.texinfo
-bison_TEXINFOS = gpl-3.0.texi fdl.texi
+bison_TEXINFOS = cross-options.texi gpl-3.0.texi fdl.texi
+
+CROSS_OPTIONS_PL = $(top_srcdir)/build-aux/cross-options.pl
+$(srcdir)/cross-options.texi: $(top_srcdir)/src/getargs.c $(CROSS_OPTIONS_PL)
+	-rm -f $@ $@.tmp
+	cd $(top_builddir)/src && $(MAKE) $(AM_MAKEFLAGS) bison
+	$(top_builddir)/src/bison --help | perl $(CROSS_OPTIONS_PL) >$@.tmp
+	mv $@.tmp $@
 
 CLEANFILES = bison.fns
 CLEANDIRS = *.t2d
-- 
2.7.4