[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: On being web-friendly and why info must die

From: Paul Eggert
Subject: Re: On being web-friendly and why info must die
Date: Mon, 08 Dec 2014 23:29:48 -0800
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.3.0

Stefan Monnier wrote:
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?

Yes, partly. Separate compilation usually requires some extra work on the source code side.

I'd assume
this work would mostly be on the Texinfo-maintainers side.

Yes, that sounds plausible. But I doubt whether the work will happen, as separate compilation for Texinfo doesn't sound that easy, and the Texinfo developers don't seem to have a lot of cycles to spare.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]