all :
	perl dici2tex all.dici > all.tex
	pdflatex all