diff options
| -rw-r--r-- | application-devel/devel-environment/Makefile | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/application-devel/devel-environment/Makefile b/application-devel/devel-environment/Makefile new file mode 100644 index 0000000..9ba25eb --- /dev/null +++ b/application-devel/devel-environment/Makefile @@ -0,0 +1,8 @@ +all: + pdflatex handout_devel-environment_de.tex + pdflatex pres_devel-environment_de.tex + pdflatex hints_devel-environment_de.tex + +clean: + rm -f *.aux *.log *.pdf *.log *.snm *.toc *.vrb *.nav *.out + |