From mboxrd@z Thu Jan 1 00:00:00 1970 From: Pierre Neidhardt Subject: Re: Hyperlinks! Date: Mon, 13 Apr 2020 13:13:25 +0200 Message-ID: <874ktnfxka.fsf@ambrevar.xyz> References: <87eesrlkil.fsf@gnu.org> Mime-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" Return-path: Received: from eggs.gnu.org ([2001:470:142:3::10]:58960) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jNx1w-0005Cp-3E for guix-devel@gnu.org; Mon, 13 Apr 2020 07:13:33 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1jNx1u-0001G4-C8 for guix-devel@gnu.org; Mon, 13 Apr 2020 07:13:31 -0400 In-Reply-To: <87eesrlkil.fsf@gnu.org> List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane-mx.org@gnu.org Sender: "Guix-devel" To: Ludovic =?utf-8?Q?Court=C3=A8s?= , guix-devel@gnu.org --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Ludovic Court=C3=A8s writes: > I=E2=80=99d like to extend it to include references to the Guile manual, = so that > one could click on, say, =E2=80=98append=E2=80=99, but there might be too= many false > positives at that point. And then we would need DrRacket fanciness to > be able to determine what an identifier really refers to=E2=80=A6 Perfect time for Rix, Guix in Racket! Haha! :D =2D-=20 Pierre Neidhardt https://ambrevar.xyz/ --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQEzBAEBCAAdFiEEUPM+LlsMPZAEJKvom9z0l6S7zH8FAl6USVUACgkQm9z0l6S7 zH8tWwf/ZovQqrsQXH5UXYX5B6Px9pln7uzXfamNJDt2lN6p53g34l5YH9Fg1Cp9 OT0uN8JMqA+xUxcygNkWSyCQrbqW/J23lIQA2VM1T+PkHYv5Kq5WOQt3MWHX+ZZD oEBm73YDwW337BqZaObkGtp+VNEwvUnSB4m7djkx7q3xIcpIXmeACxBZs29g/3Go QRIiRtyfyzwls42R0FvCgmMHogR8/jcs6CVWMfvhW3qGBDz6kPT9+xyQbYjkdyav 5uj8rVNZeowEmRLTeWXBOOcyBkzabdu0yEtor+/PHeikJ5VjrJ6Ss00aKrl6bJ3R MMiU9VEpEIJFeHsC5FGAhTFto+2fhQ== =EAns -----END PGP SIGNATURE----- --=-=-=--