index
:
NWI-IBC024-Software-Verificatie
master
Files related to NWI-IBC024 Software Verificatie, spring 2016, Radboud University Nijmegen.
summary
refs
log
tree
commit
diff
log msg
author
committer
range
diff options
context:
1
2
3
4
5
6
7
8
9
10
15
20
25
30
35
40
space:
include
ignore
mode:
unified
ssdiff
stat only
Diffstat
-rw-r--r--
Makefile
2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index a313edf..e1c01a4 100644
--- a/
Makefile
+++ b/
Makefile
@@ -11,7 +11,7 @@ elevator.pdf: elevator.tex elevator.smv sv.sty
pdflatex $<
clean:
- latexmk -c
+ latexmk -C
.PHONY: clean