csci8980-f21/papers/sbmf/Makefile

20 lines
537 B
Makefile

.PHONY : default %.pdf clean realclean
.PRECIOUS : %.tex
default : PLFA.pdf
PLFA.pdf : PLFA.tex PLFA.bib
pdflatex PLFA
bibtex PLFA
pdflatex PLFA
bibtex PLFA
pdflatex PLFA
final.zip : PLFA.tex PLFA.bib
zip final.zip agda.sty llncs.cls PLFA.tex PLFA.bib splncsnat.bst figures/plfa-*.png figures/sf-*.png figures/raw.png figures/inherent.png
clean:
rm -f *.aux *.log *.out *.ptb *.blg *.fdb_latexmk *.agdai *.fls
realclean: clean
rm -f *.glob *.vo *.bbl latex/* PLFA.pdf