LATEX:=latex
DOCUMENT:=tt4
-MODELS=model.small.LStar.rand.eps model.partial.LStar.rand.eps model.full.LStar.rand.eps
-TEXS=question1.tex question2.tex question3.tex question4.tex
+MODELS=model.small.LStar.rand.eps model.small.TTT.rand.eps model.small.RS.rand.eps model.small.KV.rand.eps \
+ model.small.LStar.wm.eps model.small.TTT.wm.eps model.small.RS.wm.eps model.small.KV.wm.eps \
+ model.partial.LStar.rand.eps model.partial.TTT.rand.eps model.partial.RS.rand.eps model.partial.KV.rand.eps \
+ model.partial.LStar.wm.eps model.partial.TTT.wm.eps model.partial.RS.wm.eps model.partial.KV.wm.eps \
+ model.full.LStar.rand.eps model.full.TTT.rand.eps model.full.RS.rand.eps model.full.KV.rand.eps \
+ model.full.LStar.wm.eps model.full.TTT.wm.eps model.full.RS.wm.eps
+TEXS=question1.tex question2.tex question3.tex question4.tex models.tex
.SECONDARY: $(DOCUMENT).fmt
.PHONY: clean