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: Fri, 24 Dec 2021 14:08:27 +0200 Message-ID: <83lf0aryro.fsf@gnu.org> References: <87zgosdbo1.fsf@gnus.org> <86mtkszhnq.fsf@mail.linkov.net> <87o858e5r2.fsf@gnu.org> <86fsqjcqd8.fsf@mail.linkov.net> <87zgor41oc.fsf@gnus.org> <86lf0b6uf0.fsf@mail.linkov.net> <87v8zf40qw.fsf@gnus.org> <8635mj5ept.fsf@mail.linkov.net> <86ee62o4bs.fsf@mail.linkov.net> <83r1a2rzyu.fsf@gnu.org> Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="16468"; mail-complaints-to="usenet@ciao.gmane.io" Cc: tsdh@gnu.org, monnier@iro.umontreal.ca, emacs-devel@gnu.org To: juri@linkov.net, larsi@gnus.org Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Fri Dec 24 13:11:04 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 1n0jPc-00041s-5u for ged-emacs-devel@m.gmane-mx.org; Fri, 24 Dec 2021 13:11:04 +0100 Original-Received: from localhost ([::1]:59000 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1n0jPa-0005j9-72 for ged-emacs-devel@m.gmane-mx.org; Fri, 24 Dec 2021 07:11:02 -0500 Original-Received: from eggs.gnu.org ([209.51.188.92]:47010) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1n0jMz-0004Y8-NF for emacs-devel@gnu.org; Fri, 24 Dec 2021 07:08:21 -0500 Original-Received: from [2001:470:142:3::e] (port=43590 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 1n0jMy-0007B4-2v; Fri, 24 Dec 2021 07:08:20 -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=7hbVT/9FtwtGPjjY3s2smAuMV57LYVzKzYhLL/WRpz4=; b=bX7B9GeXjddI AaGAZohTd/J0hLpYWrC6OLw7XluYn4l52mzBIgFO1kCIqRcF2qDycgZwjV5IFnjuIpXFbXOjhWzpT W3Zw1BOGwqfz3lnycvkrUV+tIDOn31eM4QCJbLrNBZ1jY7wBUaLYmDKaNIuqVmrlH7m3BQ2dniQ1j rMoYQHHVBP7ySRpAjueYkucoYaJUYRf+bT83nE6+FMjYMHnyZvhBFNpjMvL1JeQTeYXA5yMyrXK7+ Q7p897nLOq7GXCRYGUOu5aVrdcm/nToideVf2D6xt1OsMsR+3BPSPuFU/xGfHhEo1CSCcE/Ap3b7X vWvRYqUc97PcQdcMjmYIIA==; Original-Received: from [87.69.77.57] (port=2411 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 1n0jMx-00045R-Ra; Fri, 24 Dec 2021 07:08:20 -0500 In-Reply-To: <83r1a2rzyu.fsf@gnu.org> (message from Eli Zaretskii on Fri, 24 Dec 2021 13:42:33 +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:283126 Archived-At: > Date: Fri, 24 Dec 2021 13:42:33 +0200 > From: Eli Zaretskii > Cc: larsi@gnus.org, emacs-devel@gnu.org, monnier@iro.umontreal.ca, tsdh@gnu.org > > > From: Juri Linkov > > Date: Fri, 24 Dec 2021 10:21:59 +0200 > > Cc: Lars Ingebrigtsen , Tassilo Horn , > > emacs-devel@gnu.org > > > > Currently HTML files are generated in the source dir, that is wrong: > > > > doc/emacs/emacs.html > > > > The correct place would be in the Info output dir: > > > > info/emacs.html > > No, it should have its own subdirectory, probably html/. Mixing Info > and HTML files is asking for trouble, particularly for "make install". > > > so it could reuse INFOPATH to find HTML Info manuals as well. > > No, INFOPATH should be reserved for Info files only. Its rules (like > "::" at the beginning and end of the value) don't fit HTML docs. And, once again, this should be coordinated with the Texinfo folks. We should not invent our own rules, because we don't have enough knowledge, background, and even authority to do so. This isn't our territory.