var_append makeinstopt ' ' 'bindir=$bindir infodir=$infodir'