diff options
| author | Max-001 <80035972+Max-001@users.noreply.github.com> | 2024-09-12 16:02:18 +0200 |
|---|---|---|
| committer | Max-001 <80035972+Max-001@users.noreply.github.com> | 2024-09-12 16:02:18 +0200 |
| commit | 6ff3195cfee6eeeedd730a3b18473eb2f88efc23 (patch) | |
| tree | 703e5a95f6d5eec30809d938c47344260fe095a1 /makefile | |
| parent | 603db3fe74db94ded146b22e9303dd8c064df494 (diff) | |
| parent | 79e58533af8bf585d79f8d0b5ca675ff66712b80 (diff) | |
Merge remote-tracking branch 'origin/master' into jaro/project-plan
Diffstat (limited to 'makefile')
| -rw-r--r-- | makefile | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -12,3 +12,5 @@ LATEXMKFLAGS += -interaction=nonstopmode %.tex: %.txt ./time2tex.py $< > $@ +timerep.pdf: time.tex + |