Re: [help-texinfo] IXIN 1.7 available

2013-01-19 Thread Patrice Dumas
On Fri, Jan 18, 2013 at 02:40:42AM +0100, Patrice Dumas wrote: On Fri, Jan 11, 2013 at 10:22:25AM +0100, Thien-Thi Nguyen wrote: Float should also have a number pre-filled. This is currently missing in the XML output. Then to match an index entry in the document to an index entry in the

Re: [help-texinfo] IXIN 1.7 available

2013-01-19 Thread Patrice Dumas
Other comments * for lang, why not using a string, taking whatever is the default (in general en and not en_US), and instead of a list using like en_US, (or maybe - if there is no language because of an error somewhere, not sure this may happen)? * for title, there are 2 possibilities (in

Re: [help-texinfo] Unicode line drawing chars in pdf output

2013-01-19 Thread Karl Berry
For the record, DejaVu (and many other big fonts) have had TeX support available for some time, including the tfm's and type1's needed for (pdf)tex. E.g.: http://mirror.ctan.org/fonts/dejavu And I include the packages in TeX Live. (I wonder if GNU freefont has them; seems like it should.)