Seems to be broken. I get some old .dvi (or none at all if I delete the old
one manually).

Andre'

-- 
André Pönitz .............................................. [EMAIL PROTECTED]

Reply via email to