Mail Archives: djgpp/1997/04/12/01:10:34
On Tue, 8 Apr 1997, Eli Zaretskii wrote:
> On Tue, 8 Apr 1997, Gurunandan R. Bhat wrote:
> > i have a small suggestion for the consideration of this
> > group: would it be possible to include the texinfo sources of the
> I'm not sure if this is a good idea. It will certainly make the
> binary zips larger (.texi files tend to be large), and thus punish the
Please no!)
> If you don't mind the quality of the printed docs, you could run a
> filter program on the .info files to remove the node markers, and then
> print the ASCII text that's left.
Actually, those node markers came in quite handy for me, I used them as
breakpoints: Find node-marker-chr, delete line following, find first none
blank line thereafter, apply index-formatting-code, continue processing.
- Raw text -