From 00608c9fd2b35e0c0bca967ea2e5b4c9b1f058da Mon Sep 17 00:00:00 2001
From: Julien Rioux <julien.rioux@gmail.com>
Date: Mon, 8 Jul 2013 14:37:38 +0200
Subject: [PATCH] Website build depends on version information (issue 3447).

---
 make/website.make | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/make/website.make b/make/website.make
index ad11f04379..bf3b2ad865 100644
--- a/make/website.make
+++ b/make/website.make
@@ -252,12 +252,12 @@ $(OUT)/web.%.xref-map: $(top-src-dir)/Documentation/%/web.texi
 	$(DO_TEXI_DEP) $(EXTRACT_TEXI_FILENAMES) --split=node $<
 
 # Build the English website
-$(OUT)/index.html: $(top-src-dir)/Documentation/web.texi $(xref-files)
+$(OUT)/index.html: $(top-src-dir)/Documentation/web.texi $(version-files) $(xref-files)
 	$(DO_TEXI_DEP) $(TEXI2HTML) $<
 
 # Build translated websites
 $(eval $(foreach l,$(WEB_LANGS),\
-$(eval $(OUT)/$(l)/index.html: $(top-src-dir)/Documentation/$(l)/web.texi $(xref-files); \
+$(eval $(OUT)/$(l)/index.html: $(top-src-dir)/Documentation/$(l)/web.texi $(version-files) $(xref-files); \
 	$$(DO_TEXI_DEP) $$(TEXI2HTML) --lang="$(l)" $$<; ) \
 ))
 
-- 
2.39.2