#!/bin/bash
mkdir -p debian/html
sed 's|\.md|\.html|g' README.md >debian/html/README.md1
markdown --html4tags debian/html/README.md1 >debian/html/README.html
sed 's|\.md|\.html|g' BUILD.md >debian/html/BUILD.md1
markdown --html4tags debian/html/BUILD.md1 >debian/html/BUILD.html
markdown --html4tags FAQ.md >debian/html/FAQ.html
markdown --html4tags DEVELOP.md >debian/html/DEVELOP.html
rm -f debian/html/*.md1
