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

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

(limited to 'docid')

diff --git a/docid b/docid
index ce3612a..22dc1f5 100755
--- a/docid
+++ b/docid
@@ -2,5 +2,5 @@
 
 set -eu
 
-git show "$1" | sed -n '/^Date: */s///p'
+git log "$1" | sed '/^$/,$d' | sed -n '/^Date: */s///p'
 
-- 
cgit v1.2.1