all:
	pdflatex pres_kernel-build_de.tex
	pdflatex hints_kernel-build_de.tex
	pdflatex handout_kernel-build_de.tex
	pdflatex handout_kernel-build_de.tex

clean:
	rm -f *.aux *.log *.pdf *.log *.snm *.toc *.vrb *.nav *.out