From mboxrd@z Thu Jan 1 00:00:00 1970 From: Per Bothner Subject: Re: Any interest in using HTML for locally-installed Texinfo documentation? Date: Wed, 3 Apr 2019 07:40:47 -0700 Message-ID: <6a3488e6-b243-860e-a592-59a15fca6bc5@bothner.com> References: <87a7h8u4r4.fsf@gnu.org> <87ef6kyxnj.fsf@elephly.net> <19a49416-7f84-3d3f-7612-b2e5e51fafae@bothner.com> <20190403084315.GB18536@darkstar.lan> <0b9e768f-fe2d-e29f-6aac-e1f7d66f3d9e@zoho.com> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit Return-path: In-Reply-To: <0b9e768f-fe2d-e29f-6aac-e1f7d66f3d9e@zoho.com> Content-Language: en-US List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-texinfo-bounces+gnu-bug-texinfo2=m.gmane.org@gnu.org Sender: "bug-texinfo" To: sirgazil , Gavin Smith , Ricardo Wurmus , guix-devel@gnu.org, Texinfo List-Id: guix-devel.gnu.org On 4/3/19 7:23 AM, sirgazil wrote: > Sorry, I don't understand. Documents in Yelp seem to adapt to some extent to the screen width (text reflows, for example). Videos an images don't adapt well to the screen width in the version I'm using, and info documents seem to have a fixed width. Yes, that's what we're talking about: info documents. This is not a matter of improving Yelp: the info file format inherently does not support reflow, or mixing a variable-width font (for main text) with a fixed-width font (for code). That is why we're talking about having makeinfo convert texinfo to html instead of info, and installing html in distributions. -- --Per Bothner per@bothner.com http://per.bothner.com/