File=$1
shift
Title="$*"

Stem=${File/.*/}
Lhs=$(cat lhs.txt)

Output="../$Stem.html"
Input="../lib/$File"

if [ $Input -nt $Output ]; then
  echo "updating : $File"
  cat $Input footer.txt |
  gawk -f comment.awk |
  pod2html --title "$Title" --css "http://unbox.org/wisp/var/timm/11/310/lisp/src/pod.css" |
  gawk  -f finalize.awk File="lib/$File" \
                        Lhs="$Lhs" Tit="$Title" > $Output
  rm -f *.tmp ../lib/*.tmp
fi

echo "ready    : $File"