From 12d52a760cd6f725a9c07d841a043a21a2c4fe2c Mon Sep 17 00:00:00 2001
From: Lars Wirzenius <liw@liw.fi>
Date: Sat, 4 May 2019 14:15:47 +0300
Subject: Fix: get date from git into document

---
 Makefile | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index cd287a4..fe8af54 100644
--- a/Makefile
+++ b/Makefile
@@ -1,7 +1,8 @@
 all: muck1.pdf muck2.pdf muck3.pdf jt1.pdf jt2.pdf saga.pdf
 
 %.pdf: %.yarn
-	pandoc -o $@ $< \
+	sed "s/%VERSION%/$$(./docid "$<")/" "$<" > tmp
+	pandoc -o $@ tmp \
 		--number-sections \
 		--toc \
 		--top-level-division=chapter \
@@ -13,3 +14,4 @@ all: muck1.pdf muck2.pdf muck3.pdf jt1.pdf jt2.pdf saga.pdf
 		-Vsansfont:FreeSans \
 		-Vmonofont:FreeMonoBold \
 		-Vgeometry:top=2cm,bottom=2.5cm,left=2cm,right=1cm
+#	rm -f tmp
-- 
cgit v1.2.1