# HG changeset patch
# User Jim Hague <jim.hague@acm.org>
# Date 1582119220 0
# Node ID 5bd2c1f0833e3201db0394cca2f41d29bd7efea2
# Parent  2fdef04bd1331ea5c7c63f5a7aba4ee6d066d505
Remove debug line.

diff -r 2fdef04bd133 -r 5bd2c1f0833e makeWebAudio.sh
--- a/makeWebAudio.sh	Wed Feb 19 13:33:23 2020 +0000
+++ b/makeWebAudio.sh	Wed Feb 19 13:33:40 2020 +0000
@@ -69,7 +69,6 @@
     fi
     # Calculate new tempo.
     newtempo=$(( ( $numtempo * $4 ) / $5 ))
-    echo "Old tempo $tempo new tempo ${notelenprefix}${newtempo}"
     # Insert new tempo and delete old. Old may not exist,
     # so do this rather than overwrite.
     sed -e "/^Q:/d" -e "/^K:/a\\