Merge branch 'maint'

[bison.git] / examples / local.mk

diff --git a/examples/local.mk b/examples/local.mk
index 5ab8225b3078676e7c6f5a9022f3397359d68852..94a31674c872771c8533fc97585b4c28a655ac0c 100644 (file)
--- a/examples/local.mk
+++ b/examples/local.mk
@@ -20,7 +20,7 @@ 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 = VERSION="$(VERSION)" $(PERL) -f $(extexi) $(doc) --
 extracted =