3f5027c7f895d2264f5a4648ef81d97abec27567
5 .SECONDARY
: $(DOCUMENT
).fmt
9 %.pdf
: %.
tex %.fmt mart.
tex alex.
tex intro.
tex eval.
tex
14 $(LATEX
) -ini
-shell-escape
-jobname
="$(basename $@)" "&$(LATEX) $<\dump"
17 $(RM
) -rv
$(addprefix $(DOCUMENT
).
,fmt log aux pdf
)