--- /dev/null
+SHELL := bash
+
+FILES = block.tex blockdesc.tex pipeline.png
+FILES += Makefile
+TARGET = block.pdf
+
+PDFGEN = pdflatex --jobname=$(basename $@) $<
+
+all: $(TARGET)
+
+$(TARGET): $(FILES) $(ISA_BUILD)
+ $(PDFGEN)
+ $(PDFGEN)
+ $(PDFGEN)
+
+%.tex: %.ptex gentex.pl
+ ./gentex.pl $<
+
+.PHONY: clean
+
+clan:
+ rm -fr *.aux *.log *.dvi *.pdf *.toc