--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/makeWeb.sh	Sun Mar 04 12:39:12 2012 +0000
@@ -0,0 +1,57 @@
+#!/bin/bash
+#
+# Build the website. The common items and the web items are assumed
+# to be already built.
+#
+
+if [ $# != 1 ]; then
+    echo "Usage: makeWeb.sh <book dir name>"
+    exit 1
+fi
+
+dir=`pwd`
+
+booke=$dir/$1
+webdir=$dir/web/$1
+graphicsdir=$dir/graphics/$1
+output=index.html
+
+buildno=`cat buildno.txt`
+subtitle=
+intro=
+if [ -r $booke/subtitle.txt ]; then
+    subtitle=`cat $booke/subtitle.txt`
+fi
+if [ -r $booke/intro.txt ]; then
+    intro=`cat $booke/intro.txt`
+fi
+
+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
+
+# Now, for each tune, make the tune graphic and sound.
+find $booke -name "*.abc" | sort |
+    while read filename
+    do
+        title=`grep "^T:" $filename | head -1 | sed -e "s/^T: *//"`
+        name=`basename $filename .abc`
+
+        # Copy tune PDF from common graphics.
+        cp $graphicsdir/${name}.pdf $webdir
+
+        # And copy the ABC.
+        cp $filename $webdir
+
+        echo "<tr>" >> $webdir/$output
+        echo "<td>${title}</td>" >> $webdir/$output
+        echo "<td><a href=\"${name}.jpg\">JPG</a></td>" >> $webdir/$output
+        echo "<td><a href=\"${name}.pdf\">PDF</a></td>" >> $webdir/$output
+        echo "<td><a href=\"${name}.mid\">MIDI</a></td>" >> $webdir/$output
+        echo "<td><a href=\"${name}.mp3\">MP3</a></td>" >> $webdir/$output
+        echo "<td><a href=\"${name}.abc\">ABC</a></td>" >> $webdir/$output
+        echo "</tr>" >> $webdir/$output
+    done
+
+cat dottes.html.footer >> $webdir/$output