From f10dd380bbb86cc2cf9680c9dee92e34092dc273 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Tue, 7 Feb 2017 19:01:21 +0100
Subject: [PATCH] Makefile: make version overridable.

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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