Re: quoting in texi2dvi (was: [PATCH] gnulib-tool: do not use $(top_srcdir) unquoted; may be tainted)

[Karl Berry]

    2008-11-26  Ralf Wildenhues  <[EMAIL PROTECTED]>

            * util/texi2dvi (move_to_dest): Quote file names consistently.

Thanks, installed.