
Em um sistema Linux/Unix com TeX e dvips instalado,
basta dar o comando 

make

para recriar os arquivos 

cassino.dvi
cassino.ps

