dottes/makeWeb.sh

60 lines
1.6 KiB
Bash
Executable File

#!/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
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
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