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

[Norbert Preining]

On Mo, 16 Mär 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? 

Aehm, no it was me that missed that ... ok, thanks for the fix, MANY
thanks!

Best wishes

Norbert

-------------------------------------------------------------------------------
Dr. Norbert Preining <address@hidden>        Vienna University of Technology
Debian Developer <address@hidden>                         Debian TeX Group
gpg DSA: 0x09C5B094      fp: 14DF 2E6C 0307 BE6D AD76  A9C0 D2BF 4AA3 09C5 B094
-------------------------------------------------------------------------------
LUFFENHAM (n.)
Feeling you get when the pubs aren't going to be open for another
fortyfive minutes and the luffness is beginning to wear a bit thin.
                        --- Douglas Adams, The Meaning of Liff