diff options
author | Jaro <jarorutjes07@gmail.com> | 2024-10-01 09:54:41 +0200 |
---|---|---|
committer | Jaro <jarorutjes07@gmail.com> | 2024-10-01 09:54:41 +0200 |
commit | 14f0f8c62a2914bdbbb8d9d90f65ba4dbdffd674 (patch) | |
tree | ef9ec6a77e52b8b6eae386f39ce71f9582669832 /makefile | |
parent | c191f5e193e3ff5ce886b0fbe1efe8d7ddd04183 (diff) | |
parent | f0cacf550e7b621d58ae9e92b5a1ee66b5e60be0 (diff) |
Merge branch 'master' of github.com:lonkaars/crepe-docs into jaro/research
Diffstat (limited to 'makefile')
-rw-r--r-- | makefile | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/makefile b/makefile deleted file mode 100644 index 02c583e..0000000 --- a/makefile +++ /dev/null @@ -1,16 +0,0 @@ -all: plan.pdf - -LATEXMKFLAGS += -cd -LATEXMKFLAGS += -interaction=nonstopmode -%.pdf: %.tex - -latexmk $(LATEXMKFLAGS) $< - -%.puml.pdf: %.puml - plantuml -tpdf $< - mv $*.pdf $@ - -%.tex: %.txt - ./time2tex.py $< > $@ - -timerep.pdf: time.tex - |