changeset 309:07e9fa311c6f

% added to buildno.txt needs to be removed for web.
author Jim Hague <jim.hague@acm.org>
date Mon, 08 Jul 2013 14:57:15 +0100
parents 22759794b31f
children 3787b34ae539
files makeWeb.sh
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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