SHELL := bash

FILES  = isa.tex conds.tex
FILES += Makefile
TARGET = isa.pdf

ISA_FILES = arith.ptex logic.ptex data.ptex misc.ptex

ISA_BUILD = $(ISA_FILES:.ptex=.tex)

PDFGEN = pdflatex --jobname=$(basename $@) $<

all: $(TARGET)

$(TARGET): $(FILES) $(ISA_BUILD)
	$(PDFGEN)
	$(PDFGEN)
	$(PDFGEN)

%.tex: %.ptex
	./gentex.pl $^

.PHONY: clean html

clean:
	rm -fr *.aux *.log *.dvi *.pdf *.toc *.outc $(ISA_BUILD)