Commit 89e0d08f authored by benoit's avatar benoit
Browse files

make also builds the csf-supplementary/previous.pdf

parent ceaa07be
all: tweetverif.pdf csf-supplementary/previous.pdf
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 tweetnacl.diff 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 tweetnacl.diff
tweetverif.pdf: ${SOURCES} tweetverif.pdf: $(SOURCES)
pdflatex tweetverif.tex pdflatex tweetverif.tex
bibtex tweetverif bibtex tweetverif
pdflatex tweetverif.tex pdflatex tweetverif.tex
pdflatex tweetverif.tex pdflatex tweetverif.tex
csf-supplementary/previous.pdf:
make -C csf-supplementary
tweetnacl.diff: tweetnacl.diff:
@echo $(BOLD)$(YELLOW)"Generating tweetnacl.diff"$(NO_COLOR)$(DARKGRAY) @echo $(BOLD)$(YELLOW)"Generating tweetnacl.diff"$(NO_COLOR)$(DARKGRAY)
...@@ -28,3 +32,4 @@ clean: ...@@ -28,3 +32,4 @@ clean:
-rm tweetverif.bbl -rm tweetverif.bbl
-rm tweetverif.blg -rm tweetverif.blg
-rm tweetverif.brf -rm tweetverif.brf
make -C csf-supplementary clean
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment