|
| From: | Stefan Monnier |
| Subject: | Re: On being web-friendly and why info must die |
| Date: | Mon, 08 Dec 2014 16:41:04 -0500 |
| User-agent: | Gnus/5.13 (Gnus v5.13) Emacs/25.0.50 (gnu/linux) |
>> I think I understand why they don't want to fix the processing speed.
>> But we should still push them to provide workarounds. "Separate
>> compilation" would solve this problem
> It might, yes. But that sounds like more work than switching input formats
> would be,
Why? Are you saying this would require work on our side? I'd assume
this work would mostly be on the Texinfo-maintainers side.
Stefan
| [Prev in Thread] | Current Thread | [Next in Thread] |