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