From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Eli Zaretskii Newsgroups: gmane.emacs.devel Subject: Re: Variable pitch mode line Date: Thu, 23 Dec 2021 21:48:28 +0200 Message-ID: <83r1a3t84z.fsf@gnu.org> References: <87zgosdbo1.fsf@gnus.org> <86mtkszhnq.fsf@mail.linkov.net> <87o858e5r2.fsf@gnu.org> <86fsqjcqd8.fsf@mail.linkov.net> <835yrfuqie.fsf@gnu.org> <868rwb6ubb.fsf@mail.linkov.net> <83y24bt9fg.fsf@gnu.org> <86pmpn3ycm.fsf@mail.linkov.net> Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="36642"; mail-complaints-to="usenet@ciao.gmane.io" Cc: larsi@gnus.org, emacs-devel@gnu.org, stefankangas@gmail.com, tsdh@gnu.org To: Juri Linkov Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Thu Dec 23 20:48:56 2021 Return-path: Envelope-to: ged-emacs-devel@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1n0U59-0009MX-De for ged-emacs-devel@m.gmane-mx.org; Thu, 23 Dec 2021 20:48:55 +0100 Original-Received: from localhost ([::1]:41644 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1n0U58-00082p-HX for ged-emacs-devel@m.gmane-mx.org; Thu, 23 Dec 2021 14:48:54 -0500 Original-Received: from eggs.gnu.org ([209.51.188.92]:48752) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1n0U4c-0007OD-OR for emacs-devel@gnu.org; Thu, 23 Dec 2021 14:48:22 -0500 Original-Received: from [2001:470:142:3::e] (port=38294 helo=fencepost.gnu.org) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1n0U4c-0007Uo-5b; Thu, 23 Dec 2021 14:48:22 -0500 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=References:Subject:In-Reply-To:To:From:Date: mime-version; bh=RBfeOyai8bjXICF3wUxhEK4J0eXajWR4K2kRCx67ZZ0=; b=guACE6xYtEUg 4BTE6AKjjhYc+KqjnFG96nKNoDX0WM0uuWOVDUUNthrnIgLpf7z6nWApwQH1iPqYLDWnt2TuHCljZ SWZT9/NRp4pdiRxzyfVBkcQ/M1M2LKCmLpXJ5oXLPSBiuUfvLN52YqKSrOSJfjpkN6WWZcsgww0oF Ky8jXf5EWUJyM0DK8SGqapOFXb1vDarpCEm2pc400p8Jbrqk2ZXXSQTn7gvPoh0k7iH8i5SyRbRp0 VSpiEZmNqQEhfkZzR525LZWW4I4sfAjA5hMKJGrWDdn4/iaSxqbT8lEeDRLjraG7M9Y0yDwqV3pk/ 2068slu710KJR/jbTeZHhg==; Original-Received: from [87.69.77.57] (port=1513 helo=home-c4e4a596f7) by fencepost.gnu.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1n0U4b-0008MD-RG; Thu, 23 Dec 2021 14:48:22 -0500 In-Reply-To: <86pmpn3ycm.fsf@mail.linkov.net> (message from Juri Linkov on Thu, 23 Dec 2021 21:39:05 +0200) X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Original-Sender: "Emacs-devel" Xref: news.gmane.io gmane.emacs.devel:283024 Archived-At: > From: Juri Linkov > Cc: stefankangas@gmail.com, tsdh@gnu.org, larsi@gnus.org, > emacs-devel@gnu.org > Date: Thu, 23 Dec 2021 21:39:05 +0200 > > >> Why HTML files couldn't be installed in the same dir where all files > >> in the Info format are installed? > > > > Because AFAIK that's not the canonical place where HTML docs are > > installed, they are somewhere in /usr/share/doc/. > > But these files are not HTML docs, they are Info docs in HTML format. What's the difference? They are HTML files, complete with index.html and other stuff. Look in your /usr/share/doc directory and tell me what significant differences are between, say, GTK docs and the HTML formatted manuals produced by makeinfo from Texinfo sources. > > The additional difficulty, apart of the top-level directory, is that > > HTML docs can either be produced as a single file or as separate files > > per chapter/section, and then the directory structure (and > > correspondingly the job of resolving links) becomes more complicated. > > > > It isn't rocket science to fix this, but it's not something distro > > maintainers can do, it's something Texinfo should do, perhaps > > consulting with us. > > Then distro maintainers could always generate a single file. You assume they will want to. Browsing a short HTML file is easier than browsing a long one: for example, accurate scrolling by the scroll-bar is much easier. I don't think it's a good idea to assume the distributed HTML will always be a single file. Anyway, we are discussing this in the wrong place. If we want to lead the move towards using HTML docs, we need to discuss this with Texinfo folks, because they need to do the footwork, and they also need to be aware of the move.