#!/bin/bash
MARKDOWN_DIR="Markdown"
MARKDOWN_DIR_LENGTH=$(expr 1 + ${#MARKDOWN_DIR})
HTML_DIR="Page"

# clean_html_files: IO ()
clean_html_files () {
  rm -rf "$HTML_DIR"
}

# write_html_file: FilePath -> FilePath -> IO ()
write_html_file () {
  mkdir -p $(dirname "$2")
  cat Fragments/begin.html > "$2"
  pandoc -t html "$1" >> "$2"
  cat Fragments/end.html >> "$2"
}

echo ""
echo "> Generating HTML files…"

clean_html_files

SELECTOR="${MARKDOWN_DIR}/*.md ${MARKDOWN_DIR}/**/*.md"
for FILENAME in $SELECTOR; do
  WITHOUT_DIR=${FILENAME:$MARKDOWN_DIR_LENGTH}
  WITHOUT_EXT=${WITHOUT_DIR%.*}
  HTML_FILENAME="$HTML_DIR/$WITHOUT_EXT.html"

  write_html_file "$FILENAME" "$HTML_FILENAME"
done

write_html_file "$MARKDOWN_DIR/Index.md" index.html

echo "> Done !"