summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2017-02-07 19:01:21 +0100
committerJohn MacFarlane <jgm@berkeley.edu>2017-02-07 19:01:21 +0100
commitf10dd380bbb86cc2cf9680c9dee92e34092dc273 (patch)
tree254806b06d10dbed44ba23a1c67b5240ebbb5540
parent4ae0cddb92714183badf93513c45be34d38d9cd4 (diff)
Makefile: make version overridable.
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 390af80bd..d89f52984 100644
--- a/Makefile
+++ b/Makefile
@@ -1,4 +1,4 @@
-version=$(shell grep '^Version:' pandoc.cabal | awk '{print $$2;}')
+version?=$(shell grep '^Version:' pandoc.cabal | awk '{print $$2;}')
pandoc=$(shell find dist -name pandoc -type f -exec ls -t {} \; | head -1)
BRANCH?=master