Paul Smith wrote: > It helps to remove the aux file and run again pdflatex. The same > problem occurs with the dvi button. In the LaTeX output, I see two > slashes just before the name of the aux file; I guess only one slash > should appear.
This shouldn't matter. Jürgen
