#!/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 " 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 "" >> $webdir/$output echo "${title}" >> $webdir/$output echo "JPG" >> $webdir/$output echo "PDF" >> $webdir/$output echo "MIDI" >> $webdir/$output echo "MP3" >> $webdir/$output echo "ABC" >> $webdir/$output echo "" >> $webdir/$output done cat dottes.html.footer >> $webdir/$output