Bug#392564: rubber: crashes when latex does not produce a dvi file

[Nicolas Boulenguez]

On Tue, Nov 03, 2015 at 10:31:37AM +0100, Hilmar Preusse wrote:
> Can we assume your problem to be solved?

I guess so. Thanks.