repositories / sec1415.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Merge branch 'master' of github.com:dopefishh/sec2014
[sec1415.git] / Makefile
1 all:
2 pdflatex project.tex
3 pdflatex project.tex
4 pdflatex project.tex
5
6 clean:
7 rm -vf *.toc *.dvi *.pdf *.aux *.log *.out
1415-S2 - NWI-IBC026: Semantiek en Correctheid