#!/bin/bash

title=$1
page=$2
info=`dirname $0`/info.html
sp="  "

if test $# -gt 2; then cssFile=$3; else cssFile="cobe.css"; fi
while test ! -f $cssFile; do cssFile="../$cssFile"; done

echo -e "<html>\n<head>\n$sp<title>$title</title>"
echo -e "$sp<link href=\"$cssFile\" rel=stylesheet type=\"text/css\">\n</head>"
#echo -e "<body>\n\n<div id=\"nav\">\n<div class="menu">\n`cat menu.html`\n</div>\n"
echo -e "<body>\n\n<div id=\"nav\"><div class="menu">\n`cat menu.html`\n</div></div>\n"
#echo -e "<div class=\"info\">\n`cat $info`\n</div>\n</div>\n"
echo -e "<div id=\"main\">\n`cat $page.main.html`\n</div>\n"
echo -e "<div class=\"info\">\n`cat $info`\n</div>\n\n</body>\n</html>"
