mirror of
https://github.com/AdaCore/spark2014.git
synced 2026-02-12 12:39:11 -08:00
19 lines
299 B
Makefile
19 lines
299 B
Makefile
ALL: verification_toolkit.pdf
|
|
|
|
%.pdf: %.tex
|
|
pdflatex $^
|
|
pdflatex $^
|
|
$(MAKE) clean_tmp
|
|
|
|
.PHONY: force clean clean_tmp
|
|
|
|
clean_tmp: force
|
|
rm -f ${LATEX}.aux ${LATEX}.log ${LATEX}.dvi ${LATEX}.toc
|
|
rm -f ${LATEX}.out ${LATEX}.sum texput.log
|
|
rm -f *~
|
|
|
|
clean: clean_tmp force
|
|
rm -f $(GOALS)
|
|
|
|
force:
|