Re: [O] org-entities for texinfo

Aloha Jon, Jonathan Leech-Pepin writes: > On 12 November 2012 12:41, Thomas S. Dye wrote: > >> Aloha Nicolas and Jon, >> >> Jonathan Leech-Pepin writes: >> >> > Hello, >> > >> > On 11 November 2012 15:13, Nicolas Goaziou wrote: >> > >> >> Hello, >> >> >> >> t...@tsdye.com (Thomas S. Dye) writ

Re: [O] org-entities for texinfo

On 12 November 2012 12:41, Thomas S. Dye wrote: > Aloha Nicolas and Jon, > > Jonathan Leech-Pepin writes: > > > Hello, > > > > On 11 November 2012 15:13, Nicolas Goaziou wrote: > > > >> Hello, > >> > >> t...@tsdye.com (Thomas S. Dye) writes: > >> > >> > With the new exporter's texinfo back-end,

Re: [O] org-entities for texinfo

Aloha Nicolas and Jon, Jonathan Leech-Pepin writes: > Hello, > > On 11 November 2012 15:13, Nicolas Goaziou wrote: > >> Hello, >> >> t...@tsdye.com (Thomas S. Dye) writes: >> >> > With the new exporter's texinfo back-end, I think org-entities and >> > org-entities-user might usefully be augment

Re: [O] org-entities for texinfo

Hello, On 11 November 2012 15:13, Nicolas Goaziou wrote: > Hello, > > t...@tsdye.com (Thomas S. Dye) writes: > > > With the new exporter's texinfo back-end, I think org-entities and > > org-entities-user might usefully be augmented with the entities listed > > in Chapter 14 of the texinfo manual

Re: [O] org-entities for texinfo

Hello, t...@tsdye.com (Thomas S. Dye) writes: > With the new exporter's texinfo back-end, I think org-entities and > org-entities-user might usefully be augmented with the entities listed > in Chapter 14 of the texinfo manual, Special Insertions. > > Or, is there some other Org mechanism that mig

[O] org-entities for texinfo

Aloha all, With the new exporter's texinfo back-end, I think org-entities and org-entities-user might usefully be augmented with the entities listed in Chapter 14 of the texinfo manual, Special Insertions. Or, is there some other Org mechanism that might be preferable? All the best, Tom -- T