summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile3
1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 874af3d..60007f5 100644
--- a/Makefile
+++ b/Makefile
@@ -5,6 +5,9 @@ err:
BUILD_DIR = build
SRC_MAKE_CALL = $(MAKE) -f src/Makefile BUILD_DIR=$(BUILD_DIR) NO_CSS=$(NO_CSS) LOCALE=$(LOCALE)
+ifdef VERSION
+ SRC_MAKE_CALL += VERSION=$(VERSION)
+endif
# For this target, only archive docsets that have already been built in BUILD_DIR
.phony: archive