echo " <h1>$REPO_NAME Theme Changes</h1>" >> $HTML_NAME
echo " <h2>$SRC_DATE to $DST_DATE</h2>" >> $HTML_NAME
echo " <pre>" >> $HTML_NAME
echo " <h1>$REPO_NAME Theme Changes</h1>" >> $HTML_NAME
echo " <h2>$SRC_DATE to $DST_DATE</h2>" >> $HTML_NAME
echo " <pre>" >> $HTML_NAME
-e "s|\(changeset: *[0-9]*\):\([0-9a-f]*\)|\1:<a href=\"$HG_URL/rev/\2\">\2</a>|" \
$LOG_NAME >> $HTML_NAME
echo " </pre>" >> $HTML_NAME
-e "s|\(changeset: *[0-9]*\):\([0-9a-f]*\)|\1:<a href=\"$HG_URL/rev/\2\">\2</a>|" \
$LOG_NAME >> $HTML_NAME
echo " </pre>" >> $HTML_NAME