From d6cf261bfa863aac0fd3598d433256f585a9a9e6 Mon Sep 17 00:00:00 2001
From: Jim Hague <jim.hague@acm.org>
Date: Mon, 27 Feb 2023 17:56:50 +0000
Subject: [PATCH] Fix makeWeb to use git to find last change date.

---
 makeWeb.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/makeWeb.sh b/makeWeb.sh
index e15dc70..45955b5 100755
--- a/makeWeb.sh
+++ b/makeWeb.sh
@@ -95,8 +95,8 @@ do
     # Generate MusicXML into the web.
     python3 $abc2xml $filename > ${tunewebdir}/${name}.xml
 
-    # Get date and time of last change to tune.
-    lastchanged=`hg log --limit 1 --template "{date|shortdate}" $masterbookedir/${name}.abc`
+    # Get date of last change to tune.
+    lastchanged=`git log -n 1 --format="%as" $masterbookedir/${name}.abc`
 
     # Get previous and next tunes, if available.
     prevarg=""