diff options
Diffstat (limited to 'linux-basics')
| -rw-r--r-- | linux-basics/important-tools/Makefile | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/linux-basics/important-tools/Makefile b/linux-basics/important-tools/Makefile index d949d00..ffcea55 100644 --- a/linux-basics/important-tools/Makefile +++ b/linux-basics/important-tools/Makefile @@ -1,8 +1,5 @@ all: pdflatex pres_important_tools_de.tex - pdflatex hints_important_tools_de.tex - pdflatex handout_important_tools_de.tex - pdflatex handout_important_tools_de.tex clean: rm -f *.aux *.log *.pdf *.log *.snm *.toc *.vrb *.nav *.out |