changeset 184:c88c74d27d68

Oops. Printables not moved to the right web place.
author Jim Hague <jim.hague@acm.org>
date Sat, 26 Jan 2013 18:35:02 +0000
parents 92f692a7a059
children 9dd24e61d6dd
files makeWeb.sh
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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 |