* doc/Makefile.am: Complete the previous checkin.

diff --git a/doc/Makefile.am b/doc/Makefile.am
index e130ba5a545b4afc4649155a98e9220655935cd1..9cf734c8614c1a88ca6a6e354eeb2c1042ccf5cc 100644 (file)
--- 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