From mboxrd@z Thu Jan  1 00:00:00 1970
Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail
From: Eli Zaretskii <eliz@gnu.org>
Newsgroups: gmane.emacs.bugs
Subject: bug#35885: 25.2; Few mistakes in Emacs Manual (+ proposals)
Date: Thu, 20 Aug 2020 16:35:13 +0300
Message-ID: <83eeo1cuem.fsf@gnu.org>
References: <c27a8c46-68d3-f9f4-2e92-05e0b6496b53@gmail.com>
 <87v9hkvygw.fsf@gnus.org>
 <47224e43-28c1-04d0-4418-b8f069a48b0c@gmail.com>
 <87d03qx2mm.fsf@gnus.org>
 <9d2594a9-8632-eb3b-18aa-359584c96753@gmail.com>
 <87k0xwj97f.fsf@gnus.org>
 <dcedcf66-a2ce-f88c-6952-ee34d92081c1@gmail.com>
 <87r1s37xb2.fsf@gnus.org>
 <5047e985-673d-1c3c-4f97-0353e83285a9@gmail.com> <87o8n5xz9t.fsf@gnus.org>
Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214";
	logging-data="14234"; mail-complaints-to="usenet@ciao.gmane.io"
Cc: mrsebastianurban@gmail.com, 35885@debbugs.gnu.org
To: Lars Ingebrigtsen <larsi@gnus.org>
Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Thu Aug 20 15:36:09 2020
Return-path: <bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org>
Envelope-to: geb-bug-gnu-emacs@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 <bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org>)
	id 1k8kjh-0003c5-Ru
	for geb-bug-gnu-emacs@m.gmane-mx.org; Thu, 20 Aug 2020 15:36:09 +0200
Original-Received: from localhost ([::1]:49664 helo=lists1p.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.90_1)
	(envelope-from <bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org>)
	id 1k8kjg-0003bA-En
	for geb-bug-gnu-emacs@m.gmane-mx.org; Thu, 20 Aug 2020 09:36:08 -0400
Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:38650)
 by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <Debian-debbugs@debbugs.gnu.org>)
 id 1k8kja-0003am-G9
 for bug-gnu-emacs@gnu.org; Thu, 20 Aug 2020 09:36:02 -0400
Original-Received: from debbugs.gnu.org ([209.51.188.43]:58681)
 by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
 (Exim 4.90_1) (envelope-from <Debian-debbugs@debbugs.gnu.org>)
 id 1k8kja-0002ji-72
 for bug-gnu-emacs@gnu.org; Thu, 20 Aug 2020 09:36:02 -0400
Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2)
 (envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1k8kja-0000hB-3U
 for bug-gnu-emacs@gnu.org; Thu, 20 Aug 2020 09:36:02 -0400
X-Loop: help-debbugs@gnu.org
Resent-From: Eli Zaretskii <eliz@gnu.org>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces@debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@gnu.org
Resent-Date: Thu, 20 Aug 2020 13:36:02 +0000
Resent-Message-ID: <handler.35885.B35885.15979305312623@debbugs.gnu.org>
Resent-Sender: help-debbugs@gnu.org
X-GNU-PR-Message: followup 35885
X-GNU-PR-Package: emacs
X-GNU-PR-Keywords: patch
Original-Received: via spool by 35885-submit@debbugs.gnu.org id=B35885.15979305312623
 (code B ref 35885); Thu, 20 Aug 2020 13:36:02 +0000
Original-Received: (at 35885) by debbugs.gnu.org; 20 Aug 2020 13:35:31 +0000
Original-Received: from localhost ([127.0.0.1]:41992 helo=debbugs.gnu.org)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <debbugs-submit-bounces@debbugs.gnu.org>)
 id 1k8kj4-0000gF-Mm
 for submit@debbugs.gnu.org; Thu, 20 Aug 2020 09:35:30 -0400
Original-Received: from eggs.gnu.org ([209.51.188.92]:56624)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <eliz@gnu.org>) id 1k8kj1-0000g0-97
 for 35885@debbugs.gnu.org; Thu, 20 Aug 2020 09:35:29 -0400
Original-Received: from fencepost.gnu.org ([2001:470:142:3::e]:41012)
 by eggs.gnu.org with esmtp (Exim 4.90_1)
 (envelope-from <eliz@gnu.org>)
 id 1k8kiv-0002dy-Vc; Thu, 20 Aug 2020 09:35:21 -0400
Original-Received: from [176.228.60.248] (port=2056 helo=home-c4e4a596f7)
 by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256)
 (Exim 4.82) (envelope-from <eliz@gnu.org>)
 id 1k8kiu-0006FF-L0; Thu, 20 Aug 2020 09:35:21 -0400
In-Reply-To: <87o8n5xz9t.fsf@gnus.org> (message from Lars Ingebrigtsen on Thu, 
 20 Aug 2020 14:44:30 +0200)
X-BeenThere: debbugs-submit@debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
X-BeenThere: bug-gnu-emacs@gnu.org
List-Id: "Bug reports for GNU Emacs,
 the Swiss army knife of text editors" <bug-gnu-emacs.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/bug-gnu-emacs>,
 <mailto:bug-gnu-emacs-request@gnu.org?subject=unsubscribe>
List-Archive: <https://lists.gnu.org/archive/html/bug-gnu-emacs>
List-Post: <mailto:bug-gnu-emacs@gnu.org>
List-Help: <mailto:bug-gnu-emacs-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/bug-gnu-emacs>,
 <mailto:bug-gnu-emacs-request@gnu.org?subject=subscribe>
Errors-To: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org
Original-Sender: "bug-gnu-emacs"
 <bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org>
Xref: news.gmane.io gmane.emacs.bugs:185688
Archived-At: <http://permalink.gmane.org/gmane.emacs.bugs/185688>

> From: Lars Ingebrigtsen <larsi@gnus.org>
> Cc: Eli Zaretskii <eliz@gnu.org>,  35885@debbugs.gnu.org
> Date: Thu, 20 Aug 2020 14:44:30 +0200
> 
> I have no opinion on whether to use @verb here or not -- perhaps Eli has?

I don't think we should use @verb in this case, no.