From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp10.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id 4LBgHW20/WHf5AAAgWs5BA (envelope-from ) for ; Sat, 05 Feb 2022 00:19:09 +0100 Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp10.migadu.com with LMTPS id mA4qFm20/WGfswAAG6o9tA (envelope-from ) for ; Sat, 05 Feb 2022 00:19:09 +0100 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 069533B3A1 for ; Sat, 5 Feb 2022 00:19:09 +0100 (CET) Received: from localhost ([::1]:39314 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1nG7r9-0007PJ-Oo for larch@yhetil.org; Fri, 04 Feb 2022 18:19:07 -0500 Received: from eggs.gnu.org ([209.51.188.92]:56348) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nG7r5-0007P4-2h for guix-patches@gnu.org; Fri, 04 Feb 2022 18:19:03 -0500 Received: from debbugs.gnu.org ([209.51.188.43]:39283) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1nG7r4-000660-Pb for guix-patches@gnu.org; Fri, 04 Feb 2022 18:19:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1nG7r4-0004ZX-5o for guix-patches@gnu.org; Fri, 04 Feb 2022 18:19:02 -0500 X-Loop: help-debbugs@gnu.org Subject: [bug#53775] closed (Re: bug#53775: [PATCH] gnu: Add gnunet-scheme) Resent-From: Maxime Devos Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Fri, 04 Feb 2022 23:19:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 53775 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 53775@debbugs.gnu.org Cc: ludo@gnu.org Received: via spool by 53775-submit@debbugs.gnu.org id=B53775.164401671117536 (code B ref 53775); Fri, 04 Feb 2022 23:19:02 +0000 Received: (at 53775) by debbugs.gnu.org; 4 Feb 2022 23:18:31 +0000 Received: from localhost ([127.0.0.1]:33180 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nG7qY-0004Ym-PD for submit@debbugs.gnu.org; Fri, 04 Feb 2022 18:18:31 -0500 Received: from baptiste.telenet-ops.be ([195.130.132.51]:46428) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1nG7qX-0004Yc-2n for 53775@debbugs.gnu.org; Fri, 04 Feb 2022 18:18:30 -0500 Received: from [192.168.43.254] ([5.23.235.206]) by baptiste.telenet-ops.be with bizsmtp id rBJS260094TrpFp01BJT78; Sat, 05 Feb 2022 00:18:27 +0100 Message-ID: From: Maxime Devos Date: Sat, 05 Feb 2022 00:18:20 +0100 In-Reply-To: References: <87wnial0h2.fsf@gnu.org> <33b610635cb8cf1edab0cd0efa285c078216fd03.camel@telenet.be> Content-Type: multipart/signed; micalg="pgp-sha512"; protocol="application/pgp-signature"; boundary="=-zupbD4k+k9sErM2KJQ7R" User-Agent: Evolution 3.38.3-1 MIME-Version: 1.0 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=telenet.be; s=r22; t=1644016707; bh=0xfZm63uHQL5mqn0sVYqrtLkWGseme0k9UHDzn5ht5g=; h=Subject:From:To:Cc:Date:In-Reply-To:References; b=UF01AId+N+jHiX4CFrwH0sNRGDJlOz5xWRV1NCGViCI2Ia0IOIqOWCbYiqAQGGywM JuZ6w41khIBwtLcxE/p0MGeq/4TxPlYzh1bmpNZ7G2S+MKHOjPj1/bi1yyMxIzr0nW SBkP3IEXwpdWgvzT0MMFVKsOeQkOmb4ntjgWd20kZ15UaeBdy1+7F2sIOLGbzvbADx JDlhj/pjrXx3XmtR+dgPRcUSsX51+gszaxX8hZZHRrw024Y5r2qiSE8jVL/QWy5H41 UW96Rk0jLzp2lZyvfaq8QxPs7vQFh2CkNOPWwzKvm3w0l8laO9vwipHBeoGA4anbX5 hSDlgq3moQlDg== X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list 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" X-Migadu-Flow: FLOW_IN X-Migadu-Country: US ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1644016749; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type:resent-cc:resent-from:resent-sender: resent-message-id:in-reply-to:in-reply-to:references:references: list-id:list-help:list-unsubscribe:list-subscribe:list-post: dkim-signature; bh=0xfZm63uHQL5mqn0sVYqrtLkWGseme0k9UHDzn5ht5g=; b=nQclbg8suAHAlayvcgW/jitRP8Aas+Ml8hdTb2qCEI62LH5PfFvy2W9zdrUk7wNAwWJ9QQ txIhyHw5D+kRDRvJVPOGuLegsVouPxVr3BKb8+VeaSILj+yr2jPVjdf2c9bIc3T+b0kGCo b2TQMN8NyXug4+OkGsov4vmK7/E5y/0//ECeqbCcn3xmApF0CB0XNjtYnsEm9uYyOCZPsk mrwcpl17dC/rRa1sLdDjpo4YzuQXnVvfbXO0EO7xbZVD52pqQG3DHMPYfFVYOms326WjNT /TC6khAvDjtwtjdjvKeLS4tTeYYm6bXbhP29ozdIgLwpVMpdG4HsAKL6cTSttA== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1644016749; a=rsa-sha256; cv=none; b=RlW5KmgtUBi9Jl/Or1W/roqwDqAoEuJnBB7WrgnY6Lj0McBFfKlfi92dTzRh1J8bQSuxPj Ixf8s+OyFsgTqosJLgZD/CeOHFnV/liW5sffvgie6LraynVpiM/cSgXL8bYYEB6dxo2T5c V1bSL6+KpObFjHoLqz8EK0y4rAF5nnRnpZ5CgRQOr4UFp9b0AX5/qnc8T7/pArpYjTlI1K Qwiql69PYYcM9RM+zON8H8VJojgr+quSX12Y/CCOPi8CLk7vTPE/pxosDeVqKGjKg5Oc1c qceIoYCkKp7PrrcZw3qRBb9njk7zUzgfhS2k/q6JgD9zYa9B/nvRRO0lWHAZuQ== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=telenet.be header.s=r22 header.b=UF01AId+; dmarc=fail reason="SPF not aligned (relaxed)" header.from=telenet.be (policy=none); spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" X-Migadu-Spam-Score: -4.23 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=telenet.be header.s=r22 header.b=UF01AId+; dmarc=fail reason="SPF not aligned (relaxed)" header.from=telenet.be (policy=none); spf=pass (aspmx1.migadu.com: domain of "guix-patches-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-patches-bounces+larch=yhetil.org@gnu.org" X-Migadu-Queue-Id: 069533B3A1 X-Spam-Score: -4.23 X-Migadu-Scanner: scn1.migadu.com X-TUID: 5+i8Z7QFkRf5 --=-zupbD4k+k9sErM2KJQ7R Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable GNU bug Tracking System schreef op vr 04-02-2022 om 22:41 [+0000]: > > +=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2= =A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0= texmacs >=20 > I was surprised by the choice of TeXmacs for documentation=E2=80=94TeXmac= s is > a beautiful piece of software, but I find it inconvenient that the > manual is only viewable as PDF, cannot link to other manuals, etc.=C2=A0 > My 2=C2=A2. Even with the disadvantages of TeXmacs over TeXinfo (no .info export so not readable with info readers, no system for cross-references between manuals except for direct hyperlinking ...), I still prefer TeXmacs because its editor is just so convenient to use. FWIW, TeXmacs not only has a PDF export, but also a HTML export: $ $FAVOURITE_BROWSER $(guix build gnunet-scheme)/share/doc/scheme-gnunet/sc= heme-gnunet.html Would be nice if TeXmacs gained some TeXinfo-style cross-referencing macros and an '.info' export though ... > (I was also surprised by the use of the (gnu gnunet) name space > instead of just (gnunet), say.) https://git.savannah.gnu.org/cgit/guix/gnunet.git/tree/ used (gnu gnunet ...), so does gnunet-scheme. The convention in Guileland seems to be (gnunet ...) though (unlike, say, coffeeland where tld.domain.foo.bar is the convention), so perhaps that will be corrected in a future version. Greetings, Maxime. --=-zupbD4k+k9sErM2KJQ7R Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part Content-Transfer-Encoding: 7bit -----BEGIN PGP SIGNATURE----- iI0EABYKADUWIQTB8z7iDFKP233XAR9J4+4iGRcl7gUCYf20PBccbWF4aW1lZGV2 b3NAdGVsZW5ldC5iZQAKCRBJ4+4iGRcl7s4WAP9ZfS6k799DV8092EJ3rnyIrEGz OUHKSROnyshiOxAJDgD+JEQUZwGL8DqPspk8qvB8Tu+fBrarbjTKsQPTIaq9DQ4= =TtgL -----END PGP SIGNATURE----- --=-zupbD4k+k9sErM2KJQ7R--