5162ae973339e9e7f064f9e1ae6593d2aa4b29ef
6 SOURCES
:=$(DOCUMENT
).
tex $(addsuffix .
tex,$(PROBLEMS
))
8 .SECONDARY
: $(DOCUMENT
).fmt
$(SOLUTIONS
)
12 %.pdf
: %.
tex %.fmt
$(SOURCES
)
17 $(LATEX
) -ini
-jobname
="$(basename $@)" "&$(LATEX) $<\dump"
20 $(RM
) -v
$(addprefix $(DOCUMENT
).
,fmt aux log out toc pdf
)