diff options
Diffstat (limited to 'doc/local.mk')
-rw-r--r-- | doc/local.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/local.mk b/doc/local.mk index cf68a98a..cb7d00d1 100644 --- a/doc/local.mk +++ b/doc/local.mk @@ -35,7 +35,7 @@ $(CROSS_OPTIONS_TEXI): $(top_srcdir)/src/getargs.c $(CROSS_OPTIONS_PL) { test ! -f $@ || cat $@; } >$@~ test ! -f $@.tmp || rm -f $@.tmp $(MAKE) $(AM_MAKEFLAGS) src/bison$(EXEEXT) - $(top_builddir)/src/bison --help | \ + src/bison --help | \ perl $(CROSS_OPTIONS_PL) $(top_srcdir)/src/scan-gram.l >$@.tmp diff -u $@~ $@.tmp || true mv $@.tmp $@ |