diff --git a/examples/local.mk b/examples/local.mk
index 4763221d..3c7efff5 100644
--- a/examples/local.mk
+++ b/examples/local.mk
@@ -26,13 +26,13 @@ AM_CXXFLAGS =							\
 doc = $(top_srcdir)/doc/bison.texi
 extexi = $(top_srcdir)/%D%/extexi
 if ENABLE_GCC_WARNINGS
-EXTEXIFLAGS = --synclines
+  EXTEXIFLAGS = --synclines
 endif
 extract = VERSION="$(VERSION)" $(PERL) $(extexi) $(EXTEXIFLAGS) $(doc) --
 extracted =
 EXTRA_DIST += $(extracted)
 MAINTAINERCLEANFILES += $(extracted) %D%/extracted.stamp
-%D%/extracted.stamp: $(doc) $(extexi)
+%D%/extracted.stamp: $(doc) doc/version.texi $(extexi)
 	$(AM_V_GEN)rm -f $@ $@.tmp
 	$(AM_V_at)$(MKDIR_P) %D%
 	$(AM_V_at)touch $@.tmp