Check in HTML versions
We don't have automatic markdown-to-HTML translation on the server
side (at least for now), so commit generated HTML.
diff --git a/docs/Makefile b/docs/Makefile
new file mode 100644
index 0000000..0f38bfa
--- /dev/null
+++ b/docs/Makefile
@@ -0,0 +1,19 @@
+PANDOC = pandoc
+
+default: all
+
+all_markdown = \
+ psa/index.md \
+ psa/accel/index.md \
+ psa/entropy/index.md \
+ psa/se/index.md \
+ # This line is intentionally left blank
+
+html: $(all_markdown:.md=.html)
+all: html
+
+.SUFFIXES:
+.SUFFIXES: .md .html
+
+.md.html:
+ $(PANDOC) -o $@ $<