"texi2dvi -l Texinfo" does not work either. Contrary to man page and help-text Regards (Martin Ziegler)