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 -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
