# HG changeset patch
# User Jim Hague <jim.hague@acm.org>
# Date 1359225302 0
# Node ID c88c74d27d6838ab15fbe77b3801bd341c64bcc8
# Parent  92f692a7a059f56ab8a1971266e4988cd235ee3b
Oops. Printables not moved to the right web place.

diff -r 92f692a7a059 -r c88c74d27d68 makeWeb.sh
--- a/makeWeb.sh	Sat Jan 26 18:16:37 2013 +0000
+++ b/makeWeb.sh	Sat Jan 26 18:35:02 2013 +0000
@@ -31,7 +31,7 @@
 sed -e "s/@BUILD@/$buildno/" -e "s/@SUBTITLE@/$subtitle/" \
     -e "s/@INTRO@/$intro/" -e "s/@BOOK@/$1/" dottes.html.header > $webdir/$output
 
-cp $1.pdf $1-booklet.pdf $webdir
+cp $1-*.pdf $webdir
 
 # Now, for each tune, make the tune graphic and sound.
 find $booke -name "*.abc" | sort |