From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp0 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id mBGvH1ZWIF/qcwAA0tVLHw (envelope-from ) for ; Tue, 28 Jul 2020 16:46:14 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp0 with LMTPS id AOCGG1ZWIF/pYgAA1q6Kng (envelope-from ) for ; Tue, 28 Jul 2020 16:46:14 +0000 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id EAB92940391 for ; Tue, 28 Jul 2020 16:46:13 +0000 (UTC) Received: from localhost ([::1]:36674 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1k0Sk0-0001VU-Uq for larch@yhetil.org; Tue, 28 Jul 2020 12:46:12 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:42596) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1k0Sjq-0001Tt-RQ for guix-patches@gnu.org; Tue, 28 Jul 2020 12:46:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:47410) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1k0Sjq-0006Jk-ID for guix-patches@gnu.org; Tue, 28 Jul 2020 12:46:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1k0Sjq-0005MZ-GO for guix-patches@gnu.org; Tue, 28 Jul 2020 12:46:02 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#42584] [PATCH] gnu: bison: Mention yacc in the description. Resent-From: Tobias Geerinckx-Rice Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 28 Jul 2020 16:46:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 42584 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Jakub =?UTF-8?Q?K=C4=85dzio=C5=82ka?= Cc: 42584@debbugs.gnu.org Received: via spool by 42584-submit@debbugs.gnu.org id=B42584.159595475920590 (code B ref 42584); Tue, 28 Jul 2020 16:46:02 +0000 Received: (at 42584) by debbugs.gnu.org; 28 Jul 2020 16:45:59 +0000 Received: from localhost ([127.0.0.1]:58954 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1k0Sjn-0005M1-2X for submit@debbugs.gnu.org; Tue, 28 Jul 2020 12:45:59 -0400 Received: from tobias.gr ([80.241.217.52]:54380) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1k0Sjl-0005Lt-71 for 42584@debbugs.gnu.org; Tue, 28 Jul 2020 12:45:57 -0400 Received: by tobias.gr (OpenSMTPD) with ESMTP id 33cad357; Tue, 28 Jul 2020 16:46:12 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=tobias.gr; h=from:to:cc :subject:references:in-reply-to:date:message-id:mime-version :content-type; s=2018; i=me@tobias.gr; bh=8AbmXbWNJJSbeY8nW4LedP UtQz9dJUjxgFFJlHUsMQE=; b=D0/xtog/uCfOPGUxnmVYnKPh+nsgEEQ1ma7CtC qIbU2cJQyecCwTOFqdf3Mb2EInMRK7zVfoN04svRiDErl0szycENf/HBUrGL5zNH 4bHclnuxrNZw1QYYSwEuglAy3drE9OcQozs37GzuGK0P0+puR6SVvgwwq0Tl//QB R47k2r/EYIRoI55zlzb4+iweIyhC/2a5xALL7v+g6eoezfPQV9KJ1TjtuRP6WYY3 9DYDC0O122RV8Hd1g8QG5O5hCuDSDKyxL2o3WCPHy9fCZmzDEQWtKPf89qkXVi9c CihcbzbafdOUsuG5KGM35uAQPurTPe79nTi0V2cR+BDaUN2g== Received: by submission.tobias.gr (OpenSMTPD) with ESMTPSA id 36dccd10 (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO); Tue, 28 Jul 2020 16:46:12 +0000 (UTC) BIMI-Selector: v=BIMI1; s=default; References: <20200728162501.30030-1-kuba@kadziolka.net> In-reply-to: <20200728162501.30030-1-kuba@kadziolka.net> Date: Tue, 28 Jul 2020 18:45:57 +0200 Message-ID: <87ime7ziyi.fsf@nckx> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha512; protocol="application/pgp-signature" X-Spam-Score: -2.3 (--) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-Spam-Score: -3.3 (---) X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: "Guix-patches" Reply-to: Tobias Geerinckx-Rice , Tobias Geerinckx-Rice via Guix-patches From: Tobias Geerinckx-Rice via Guix-patches via X-Scanner: scn0 Authentication-Results: aspmx1.migadu.com; dkim=fail (rsa verify failed) header.d=tobias.gr header.s=2018 header.b=D0/xtog/; dmarc=none; spf=pass (aspmx1.migadu.com: domain of guix-patches-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-patches-bounces@gnu.org X-Spam-Score: -1.61 X-TUID: rHkY+6kguYfR --=-=-= Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: quoted-printable Jakub, Jakub K=C4=85dzio=C5=82ka =E5=86=99=E9=81=93=EF=BC=9A > - (synopsis "Parser generator") > + (synopsis "Yacc-compatible parser generator") Sounds good to me. > +Bison also provides an implementation of Yacc, as specified by=20 > POSIX.") Maybe use @command{yacc} here since that's what triggers =E2=80=98POSIX=20 mode=E2=80=99, but I can go either way. Thanks! T G-R --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iHUEARYKAB0WIQT12iAyS4c9C3o4dnINsP+IT1VteQUCXyBWRQAKCRANsP+IT1Vt edMUAQCS92LNFDgsQczjXGRnHKdfppa53SW34F39szDy3fbI/gD9Ev/Ewuo+ODaU wOrVhHt/oRyeBEoB+PCAJ4coHfks3wM= =59az -----END PGP SIGNATURE----- --=-=-=--