diff options
Diffstat (limited to 'realtime')
| -rw-r--r-- | realtime/rt-basics/Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/realtime/rt-basics/Makefile b/realtime/rt-basics/Makefile index c8baf33..fa44bb9 100644 --- a/realtime/rt-basics/Makefile +++ b/realtime/rt-basics/Makefile @@ -1,6 +1,5 @@ all: pdflatex pres_rt-basics_de.tex - pdflatex hints_rt-basics_de.tex pdflatex handout_rt-basics_de.tex pdflatex handout_rt-basics_de.tex |