[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: tilde in file names, still a problem

From: Norbert Preining
Subject: Re: tilde in file names, still a problem
Date: Mon, 16 Mar 2009 13:41:13 +0100
User-agent: Mutt/1.5.13 (2006-08-11)

On So, 15 Mär 2009, Karl Berry wrote:
> I installed the patch below (modulo documentation, etc.) to support tildes.  
> There's an undocumented -~ option to avoid all this madness in case it's
> totally broken.  Hope none of these literal tildes mess anything up.

Hmm, but doesn't that mean that if the .texi file now contains
then it will come out as 
in the dvi file?

Best wishes


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
A form of particularly long sparse sideburns which are part of the
mandatory uniform of British Rail guards.
                        --- Douglas Adams, The Meaning of Liff

reply via email to

[Prev in Thread] Current Thread [Next in Thread]