use $VERSION in 'make docs' if it's set (used by metabuildbot)

buildbot · Oct 1, 2010 · 932fc95 · 932fc95
1 parent 84ea252
commit 932fc95
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/master/docs/Makefile b/master/docs/Makefile
@@ -1,6 +1,6 @@
 all: docs.tgz
 
-VERSION=$(shell PYTHONPATH=..:$${PYTHONPATH} python -c 'from buildbot import version; print version')
+VERSION=$(shell if [ -n "$$VERSION" ]; then echo $$VERSION; else PYTHONPATH=..:$${PYTHONPATH} python -c 'from buildbot import version; print version'; fi)
 
 buildbot.info: buildbot.texinfo
 	echo "@set VERSION $(VERSION)" > version.texinfo