On Sat, Oct 07, 2017 at 10:44:14PM +0200, Rhialto wrote: > I had to add "info/vice.pdf" at the end. That happens when configure finds texi2dvi or pdftex. There doesn't seem to be an option to turn it off. Thomas