Message ID | cover.1678237929.git.mirai@makinata.eu |
---|---|
Headers | show
Return-Path: <guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org> X-Original-To: patchwork@mira.cbaines.net Delivered-To: patchwork@mira.cbaines.net Received: by mira.cbaines.net (Postfix, from userid 113) id BAB1216DFF; Wed, 8 Mar 2023 01:21:37 +0000 (GMT) X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on mira.cbaines.net X-Spam-Level: X-Spam-Status: No, score=-2.0 required=5.0 tests=MAILING_LIST_MULTI, RCVD_IN_MSPIKE_H2,SPF_HELO_PASS autolearn=unavailable autolearn_force=no version=3.4.6 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) by mira.cbaines.net (Postfix) with ESMTPS id 9E6B616E0B for <patchwork@mira.cbaines.net>; Wed, 8 Mar 2023 01:21:33 +0000 (GMT) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from <guix-patches-bounces@gnu.org>) id 1pZiTc-0000dM-Ck; Tue, 07 Mar 2023 20:20:20 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) 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 1pZiTQ-0007zH-GU for guix-patches@gnu.org; Tue, 07 Mar 2023 20:20:08 -0500 Received: from debbugs.gnu.org ([209.51.188.43]) 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 1pZiTK-0002xb-Jg for guix-patches@gnu.org; Tue, 07 Mar 2023 20:20:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1pZiTK-0004dd-4j for guix-patches@gnu.org; Tue, 07 Mar 2023 20:20:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#62042] [PATCH 0/4] Harmonize @-commands used in doc/guix.texi Resent-From: Bruno Victal <mirai@makinata.eu> Original-Sender: "Debbugs-submit" <debbugs-submit-bounces@debbugs.gnu.org> Resent-CC: guix-patches@gnu.org Resent-Date: Wed, 08 Mar 2023 01:20:02 +0000 Resent-Message-ID: <handler.62042.B.167823837617788@debbugs.gnu.org> Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 62042 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 62042@debbugs.gnu.org Cc: Bruno Victal <mirai@makinata.eu> X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.167823837617788 (code B ref -1); Wed, 08 Mar 2023 01:20:02 +0000 Received: (at submit) by debbugs.gnu.org; 8 Mar 2023 01:19:36 +0000 Received: from localhost ([127.0.0.1]:47515 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces@debbugs.gnu.org>) id 1pZiSt-0004cp-Kk for submit@debbugs.gnu.org; Tue, 07 Mar 2023 20:19:35 -0500 Received: from lists.gnu.org ([209.51.188.17]:52024) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <mirai@makinata.eu>) id 1pZiSr-0004cg-IE for submit@debbugs.gnu.org; Tue, 07 Mar 2023 20:19:33 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <mirai@makinata.eu>) id 1pZiSe-0007Jc-PY for guix-patches@gnu.org; Tue, 07 Mar 2023 20:19:23 -0500 Received: from smtpmciv1.myservices.hosting ([185.26.107.237]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <mirai@makinata.eu>) id 1pZiSd-0002vQ-0K for guix-patches@gnu.org; Tue, 07 Mar 2023 20:19:20 -0500 Received: from mail1.netim.hosting (unknown [185.26.106.173]) by smtpmciv1.myservices.hosting (Postfix) with ESMTP id 537A420D42 for <guix-patches@gnu.org>; Wed, 8 Mar 2023 02:19:15 +0100 (CET) Received: from localhost (localhost [127.0.0.1]) by mail1.netim.hosting (Postfix) with ESMTP id 0316280097; Wed, 8 Mar 2023 02:19:15 +0100 (CET) X-Virus-Scanned: Debian amavisd-new at mail1.netim.hosting Received: from mail1.netim.hosting ([127.0.0.1]) by localhost (mail1-2.netim.hosting [127.0.0.1]) (amavisd-new, port 10026) with ESMTP id 8GzxsxZo0F2h; Wed, 8 Mar 2023 02:19:14 +0100 (CET) Received: from guix-nuc.home.arpa (bl9-119-177.dsl.telepac.pt [85.242.119.177]) (Authenticated sender: lumen@makinata.eu) by mail1.netim.hosting (Postfix) with ESMTPSA id 9270280079; Wed, 8 Mar 2023 02:19:14 +0100 (CET) From: Bruno Victal <mirai@makinata.eu> Date: Wed, 8 Mar 2023 01:19:10 +0000 Message-Id: <cover.1678237929.git.mirai@makinata.eu> X-Mailer: git-send-email 2.39.1 MIME-Version: 1.0 Content-Transfer-Encoding: 8bit Received-SPF: pass client-ip=185.26.107.237; envelope-from=mirai@makinata.eu; helo=smtpmciv1.myservices.hosting X-Spam_score_int: -18 X-Spam_score: -1.9 X-Spam_bar: - X-Spam_report: (-1.9 / 5.0 requ) BAYES_00=-1.9, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: guix-patches@gnu.org List-Id: <guix-patches.gnu.org> List-Unsubscribe: <https://lists.gnu.org/mailman/options/guix-patches>, <mailto:guix-patches-request@gnu.org?subject=unsubscribe> List-Archive: <https://lists.gnu.org/archive/html/guix-patches> List-Post: <mailto:guix-patches@gnu.org> List-Help: <mailto:guix-patches-request@gnu.org?subject=help> List-Subscribe: <https://lists.gnu.org/mailman/listinfo/guix-patches>, <mailto:guix-patches-request@gnu.org?subject=subscribe> Errors-To: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org Sender: guix-patches-bounces+patchwork=mira.cbaines.net@gnu.org X-getmail-retrieved-from-mailbox: Patches |
Series |
Harmonize @-commands used in doc/guix.texi
|
expand
|
Hi Bruno, Bruno Victal <mirai@makinata.eu> skribis: > In a similar vein to the work done in #60634, in most cases it's > implicit that we're dealing with Scheme procedures. This patchset > normalizes the @-commands for procedures and corrects some incongruencies > missed in the #60634 patch-series. > > Bruno Victal (4): > doc: Fix incorrect @deffn usage for service-types. > doc: Fix incorrect @deffn usage for data types. > doc: Use @defun for procedures. > doc: Use @defmac and @defspec for macros. Applied. Thanks again for tidying things up! Ludo’.