diff options
Diffstat (limited to 'makefile')
-rw-r--r-- | makefile | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -9,3 +9,6 @@ LATEXMKFLAGS += -interaction=nonstopmode plantuml -tpdf $< mv $*.pdf $@ +%.tex: %.txt + ./time2tex.py $< > $@ + |
index : spc-docs | |
24-25 b13 spc: minor projectdocumentatie |
aboutsummaryrefslogtreecommitdiff |