summaryrefslogtreecommitdiff
path: root/make
diff options
context:
space:
mode:
authorJulien Rioux <julien.rioux@gmail.com>2013-07-08 14:37:38 +0200
committerJulien Rioux <jrioux@physics.utoronto.ca>2013-07-18 10:21:36 -0400
commit00608c9fd2b35e0c0bca967ea2e5b4c9b1f058da (patch)
tree4a727b96c3bd21730623f8b67303892624b8312c /make
parent462cef0beb326dea3878456fda920592bab3d126 (diff)
Website build depends on version information (issue 3447).
Diffstat (limited to 'make')
-rw-r--r--make/website.make4
1 files 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)" $$<; ) \
))