Makefile 406 Bytes
Newer Older
1
SOURCES= code-tweetnacl.tex collection.bib conclusion.tex coq.tex highlevel.tex intro.tex lowlevel.tex preliminaries.tex proofs.tex rfc.tex t.bib tweetverif.tex
benoit's avatar
benoit committed
2

3
4
tweetverif.pdf: ${SOURCES}
	pdflatex tweetverif.tex
5
	bibtex tweetverif
6
7
	pdflatex tweetverif.tex
	pdflatex tweetverif.tex
benoit's avatar
benoit committed
8

9
.PHONY: clean
benoit's avatar
benoit committed
10

Benoit Viguier's avatar
Benoit Viguier committed
11
clean:
12
13
14
15
16
	-rm tweetverif.aux
	-rm tweetverif.log
	-rm tweetverif.out
	-rm tweetverif.pdf
	-rm tweetverif.thm