[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: How do I suppress "helpful" blank lines generated by makeinfo?
From: |
Alan Mackenzie |
Subject: |
Re: How do I suppress "helpful" blank lines generated by makeinfo? |
Date: |
Fri, 17 Apr 2009 23:14:11 +0000 |
User-agent: |
Mutt/1.5.9i |
'Evening, Karl!
On Fri, Apr 17, 2009 at 06:02:25PM -0500, Karl Berry wrote:
> Is this wise?
> Well, there are a number of good reasons to do so, or I wouldn't have
> gone to all the trouble of pushing it. Better HTML output (which many
> people ask for), better expansion control, more maintainable source,
> ....
That perl must be good. :-)
> ... anyway, as far as I'm concerned, it's happening. It all *could*
> be done in C, but the reality has been that neither I nor anyone else
> has time to bring makeinfo up to anything like the level of
> functionality in texi2html.
> half a minute to generate Elisp, that would set me (and others?)
> back to a "batch mode" development process.
> I hope it isn't 10x slower, but even if it is, 30 seconds does not seem
> like an insurmountable lengthy span of time. Sorry.
Well, I could always get faster hardware. But yes, I could cope with
30s.
> Best,
> karl
Thanks, and goodnight!
--
Alan Mackenzie (Nuremberg, Germany).
- Re: How do I suppress "helpful" blank lines generated by makeinfo?, (continued)
- Re: How do I suppress "helpful" blank lines generated by makeinfo?, Karl Berry, 2009/04/15
- Re: How do I suppress "helpful" blank lines generated by makeinfo?, Alan Mackenzie, 2009/04/16
- Re: How do I suppress "helpful" blank lines generated by makeinfo?, Karl Berry, 2009/04/16
- Re: How do I suppress "helpful" blank lines generated by makeinfo?, Eli Zaretskii, 2009/04/17
- Re: How do I suppress "helpful" blank lines generated by makeinfo?, Karl Berry, 2009/04/17
- Re: How do I suppress "helpful" blank lines generated by makeinfo?, Eli Zaretskii, 2009/04/18
- Re: How do I suppress "helpful" blank lines generated by makeinfo?, Alan Mackenzie, 2009/04/17
- Re: How do I suppress "helpful" blank lines generated by makeinfo?, Karl Berry, 2009/04/17
- Re: How do I suppress "helpful" blank lines generated by makeinfo?,
Alan Mackenzie <=