--- /dev/null
+FIGURES = figures/mkdir1.png
+
+.SUFFIXES : .gnuplot .gv .pdf .png
+
+.PHONY: all
+all: protocol.html protocol.pdf
+
+.PHONY: check
+check: protocol.txt
+ @echo "Are there lines with trailing white space?"
+ build/whitespace.sh $<
+
+protocol.html: $(FIGURES) protocol.txt
+ asciidoc protocol.txt
+
+protocol.pdf: $(FIGURES) protocol.txt
+ a2x -f pdf --fop protocol.txt
+
+.gv.png:
+ dot -Tpng $< -o $@
+
+.PHONY : clean
+clean:
+ rm -f *.xml *.html *.pdf figures/*.png
+
+