Added Makefile for docs compilation.

Makefile

@@ -0,0 +1,13 @@
+BUILD=build/
+
+d := docs/
+include base.mk
+include $(d)rules.mk
+
+all: doc
+
+clean:
+	rm -rf $(BUILD)
+
+distclean:
+	rm -rf $(BUILD) `find . -name \*.pyc`

base.mk

@@ -0,0 +1,2 @@
+b := $(BUILD)$(d)
+CLEAN := $(CLEAN) $(b)

docs/rules.mk

@@ -0,0 +1,7 @@
+.PHONY: docs
+
+doc: $(b)proposal.pdf
+
+$(b)%.pdf: $(d)%.tex
+	mkdir -p `dirname $@`
+	pdflatex -halt-on-error -interaction=nonstopmode -output-directory `dirname $@` $^