# HG changeset patch
# User Jim Hague <jim.hague@acm.org>
# Date 1668799657 0
# Node ID b66bc498220d9f2dda88a6a87bde3fa5265afdae
# Parent  07459778c13cfedd1157298053031cc98072ffcd
Switch to running abc2xml with python3.

diff -r 07459778c13c -r b66bc498220d makeWeb.sh
--- a/makeWeb.sh	Tue Nov 15 23:50:14 2022 +0000
+++ b/makeWeb.sh	Fri Nov 18 19:27:37 2022 +0000
@@ -93,7 +93,7 @@
     cp $filename $tunewebdir
 
     # Generate MusicXML into the web.
-    python $abc2xml $filename > ${tunewebdir}/${name}.xml
+    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`