SHELL := bash
-FILES = isa_cmp.tex 8051.tex arm.tex avr.tex common.sty Makefile ppc.tex ppc.s spear2.tex
+FILES = isa_cmp.tex 8051.tex 8051.s arm.tex avr.tex
+FILES += common.sty Makefile ppc.tex ppc.s spear2.tex cmp.tex
TARGET = isa_cmp.pdf
PDFGEN = pdflatex --jobname=$(basename $@) $<