#!/bin/bash

set -e

SCRIPT_PATH=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )
cd ${SCRIPT_PATH}

DOCS="Home lifev-ubuntu maintaining new-devel tutorial";

set -e

mkdir -p TEMP
cd TEMP

for I in $DOCS; do
    pandoc ../$I.md -o $I-TEMP.htm
    #cat PageHeader.htm > $I.htm
    echo "" > $I.htm
    cat $I-TEMP.htm >> $I.htm
    #cat PageFooter.htm >> $I.htm
    rm $I-TEMP.htm
done