Bug#487974: tilde in file names, still a problem

[Alexandre Duret-Lutz <adl@lrde.epita.fr>]

Hi Karl,

On Mo, 16 Mar 2009, Karl Berry wrote:
>     Hmm, but doesn't that mean that if the .texi file now contains
>             foo~bar
>     then it will come out as 
>             foo~bar 
>     in the dvi file?
> 
> It does mean that, and that's the way it's always been, and the way it
> should be, ~ being a normal character in Texinfo ... am I missing something? 

texi2dvi is also used by many people to compile tex/latex files
(it's even documented), and this patch breaks this use.

It took me a while to figure out while my last upgrade of Debian 
broke the compilation of all my LaTeX sources, with tildes
unexpectedly showing up everywhere.

Also I cannot find the -~ option in the patch and in the Debian
version of texi2dvi.

-- 
Alexandre Duret-Lutz