Hi, I am suffering from the same problem as described in https://lists.gnu.org/archive/html/bug-texinfo/2016-02/msg00121.html . However, the fix from https://lists.gnu.org/archive/html/texinfo-commits/2016-02/msg00057.html unfortunately does not work for me on an OpenBSD system.
The reason appears to be the shell executing the texi2dvi script. On OpenBSD /bin/sh is in fact ksh (http://man.openbsd.org/?query=sh&apropos=0&sec=0&arch=default&manpath=OpenBSD-current). If I change the first line of texi2dvi to point to bash (/usr/local/bin/bash on OpenBSD) the problem is gone. Any ideas for a portable fix? Thank you! Best regards, Ingo
