From 49f88db4083fa8616624e855bf4962f9d67c210d Mon Sep 17 00:00:00 2001
From: John Swinbank <swinbank@astron.nl>
Date: Fri, 25 Jun 2021 17:38:28 +0200
Subject: [PATCH] Set docHandle in Makefile

---
 make/vcs-meta.make | 1 +
 1 file changed, 1 insertion(+)

diff --git a/make/vcs-meta.make b/make/vcs-meta.make
index 44a4c5d..75a3e65 100644
--- a/make/vcs-meta.make
+++ b/make/vcs-meta.make
@@ -12,3 +12,4 @@ meta.tex: Makefile .FORCE
 	printf "%s\n" "\newcommand{\vcsDate}{$(GITDATE)}" >>$@
 	printf "%s\n" "\newcommand{\vcsFirstYear}{$(GITFIRSTYEAR)}" >>$@
 	printf "%s\n" "\newcommand{\vcsLastYear}{$(GITLASTYEAR)}" >>$@
+	printf "%s\n" "\newcommand{\docHandle}{$(DOCHANDLE)}" >>$@
-- 
GitLab