Merge branch 'maint'

[bison.git] / examples / local.mk

diff --git a/examples/local.mk b/examples/local.mk
index 24763a85b1f66a929a339f6200ec75138aafcab9..94a31674c872771c8533fc97585b4c28a655ac0c 100644 (file)
--- a/examples/local.mk
+++ b/examples/local.mk
@@ -20,9 +20,9 @@ TEST_LOG_COMPILER = $(top_srcdir)/examples/test
 ## Extracting.  ##
 ## ------------ ##
 
-doc = $(top_srcdir)/doc/bison.texinfo
+doc = $(top_srcdir)/doc/bison.texi
 extexi = $(top_srcdir)/examples/extexi
-extract = $(AWK) -f $(extexi) -v VERSION="$(VERSION)" $(doc) --
+extract = VERSION="$(VERSION)" $(PERL) -f $(extexi) $(doc) --
 extracted =
 CLEANFILES += $(extracted) examples/extracted.stamp
 examples/extracted.stamp: $(doc) $(extexi)