projects
/
bitonic-mengthesis.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
renaming, more stuff
[bitonic-mengthesis.git]
/
docs
/
Makefile
diff --git
a/docs/Makefile
b/docs/Makefile
index 52dfaec6d2db590580a8811962de9eebab09fc5c..1514e88cf2741abbd5f9c77161b022105733f89e 100644
(file)
--- a/
docs/Makefile
+++ b/
docs/Makefile
@@
-3,9
+3,9
@@
OBJECTS = $(patsubst %.tex, %.pdf, $(SOURCES))
all: $(OBJECTS)
all: $(OBJECTS)
-
background.pdf: background.tex background.bib background
.agda
+
InterimReport.pdf: InterimReport.tex InterimReport.bib InterimReport
.agda
xelatex -halt-on-error $< -o $@
xelatex -halt-on-error $< -o $@
- bibtex
background
+ bibtex
InterimReport
xelatex -halt-on-error $< -o $@
xelatex -halt-on-error $< -o $@
xelatex -halt-on-error $< -o $@
xelatex -halt-on-error $< -o $@