diff options
| author | Max-001 <80035972+Max-001@users.noreply.github.com> | 2024-09-06 11:34:16 +0200 |
|---|---|---|
| committer | Max-001 <80035972+Max-001@users.noreply.github.com> | 2024-09-06 11:34:16 +0200 |
| commit | b6aec9666b51964de4b01b3f07abf982ea30e9f8 (patch) | |
| tree | 737a295ce367c65a678ff15e540cb9968bb33d2c /makefile | |
| parent | 0df42b1e35603dc127be488e9d79b29d0631df4d (diff) | |
| parent | de93554c562eb4137dd8a3bb6c057f8043990c19 (diff) | |
Merge remote-tracking branch 'origin/master' into max/time
Diffstat (limited to 'makefile')
| -rw-r--r-- | makefile | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -9,3 +9,8 @@ LATEXMKFLAGS += -interaction=nonstopmode plantuml -tpdf $< mv $*.pdf $@ +%.tex: %.txt + ./time2tex.py $< > $@ + +timerep.pdf: time.tex + |