Merge remote-tracking branch 'origin/master'

[bison.git] / examples / local.mk

diff --git a/examples/local.mk b/examples/local.mk
index 24763a85b1f66a929a339f6200ec75138aafcab9..5ab8225b3078676e7c6f5a9022f3397359d68852 100644 (file)
--- a/examples/local.mk
+++ b/examples/local.mk
@@ -22,7 +22,7 @@ TEST_LOG_COMPILER = $(top_srcdir)/examples/test
 
 doc = $(top_srcdir)/doc/bison.texinfo
 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)