Web. Add download links for book.

dottes.html.header

@@ -7,6 +7,12 @@
 <p>
 @INTRO@
 <p>
+You can download a PDF with a booklet of these tunes. There is a
+<a href="@BOOK@.pdf">single-sided A5 landscape book</a>, or if you
+have a printer that can do duplex (i.e. print on both sides of the
+paper), you might like the
+<a href="@BOOK@-booklet.pdf">double-sided A4 producing an A5 booklet</a>.
+<p>
 Issue @BUILD@
 <p>
 <table>

makeWeb.sh

@@ -31,6 +31,8 @@ mkdir -p $webdir
 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
+
 # Now, for each tune, make the tune graphic and sound.
 find $booke -name "*.abc" | sort |
     while read filename