|
| From: | Karl Berry |
| Subject: | Re: [help-texinfo] attribute ‘number’ |
| Date: | Sun, 1 Mar 2015 22:23:31 GMT |
I'd suggest not adding data to the output formats unless there is a
real use for it.
The purpose of the XML format is to provide a maximal representation of
the Texinfo input. There is no "use" for XML beyond that.
k
| [Prev in Thread] | Current Thread | [Next in Thread] |