Fix makeWeb to use git to find last change date.

This commit is contained in:
Jim Hague 2023-02-27 17:56:50 +00:00
parent fa934c26d8
commit d6cf261bfa
1 changed files with 2 additions and 2 deletions

View File

@ -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=""