aboutsummaryrefslogtreecommitdiff
path: root/makefile
diff options
context:
space:
mode:
Diffstat (limited to 'makefile')
-rw-r--r--makefile5
1 files changed, 5 insertions, 0 deletions
diff --git a/makefile b/makefile
index 0802e01..02c583e 100644
--- a/makefile
+++ b/makefile
@@ -9,3 +9,8 @@ LATEXMKFLAGS += -interaction=nonstopmode
plantuml -tpdf $<
mv $*.pdf $@
+%.tex: %.txt
+ ./time2tex.py $< > $@
+
+timerep.pdf: time.tex
+