# HG changeset patch
# User Jim Hague <jim.hague@acm.org>
# Date 1373291835 -3600
# Node ID 07e9fa311c6f87a9562a9d8d0dc17e50dd2dad85
# Parent  22759794b31f1060acc12bcdc561234378b1fc89
% added to buildno.txt needs to be removed for web.

diff -r 22759794b31f -r 07e9fa311c6f makeWeb.sh
--- a/makeWeb.sh	Mon Jul 08 10:35:23 2013 +0100
+++ b/makeWeb.sh	Mon Jul 08 14:57:15 2013 +0100
@@ -30,6 +30,8 @@
 instrument=$3
 
 buildno=`cat buildno.txt`
+# Remove trailing % added for Latex purposes.
+buildno=${buildno%%%}
 subtitle=
 intro=
 if [ -r $bookedir/subtitle.txt ]; then