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 QJvSH5Ls4V5nTgAA0tVLHw (envelope-from ) for ; Thu, 11 Jun 2020 08:34:26 +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 QJ3AG5Ls4V5mPAAA1q6Kng (envelope-from ) for ; Thu, 11 Jun 2020 08:34:26 +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 28D9394001C for ; Thu, 11 Jun 2020 08:34:26 +0000 (UTC) Received: from localhost ([::1]:33206 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jjIfJ-0002US-2L for larch@yhetil.org; Thu, 11 Jun 2020 04:34:25 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:41046) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1jjIf4-0002TK-SX for guix-devel@gnu.org; Thu, 11 Jun 2020 04:34:10 -0400 Received: from sender4-of-o53.zoho.com ([136.143.188.53]:21327) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_CBC_SHA1:256) (Exim 4.90_1) (envelope-from ) id 1jjIf3-0000nn-Lq; Thu, 11 Jun 2020 04:34:10 -0400 ARC-Seal: i=1; a=rsa-sha256; t=1591864443; cv=none; d=zohomail.com; s=zohoarc; b=M/UN6m24YLRAogA1jCtvQEVvVNG08tGUXooIx2RKTiYgthhV8chO2eiIq+6YUjaSBkxPR3xW26bWjb4Sxjc9k2VAIU/0bFLFzqF3EdVsdi7owyl5ssftoUIcMUUumbeC7DQUSA6JCYgJjchuBLVLw5/hfsg5ZgwVplSMk2PAbHI= ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=zohomail.com; s=zohoarc; t=1591864443; h=Content-Type:Content-Transfer-Encoding:Cc:Date:From:In-Reply-To:MIME-Version:Message-ID:References:Subject:To; bh=xl5xqR5ivWxHpzYXNpP0QIm1L9h9bqJ7E+KUqaTXEkg=; b=kL6V2C1PEVbb44JC0HM6w/bLabJBP/tCuV4VCZV/z66HIn8L5+E/LdA7QQue0QIM0TmHn0RzC0bVSYgILordgqn0ggQlt8YusxMvPOBydYGbvL2/hA7v7NiegM0zlqMbhVnclzip7ftHksqr09hibwpLd8q/X2cvR8FIuATGOeA= ARC-Authentication-Results: i=1; mx.zohomail.com; dkim=pass header.i=elephly.net; spf=pass smtp.mailfrom=rekado@elephly.net; dmarc=pass header.from= header.from= DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; t=1591864443; s=zoho; d=elephly.net; i=rekado@elephly.net; h=References:From:To:Cc:Subject:In-reply-to:Date:Message-ID:MIME-Version:Content-Type:Content-Transfer-Encoding; bh=xl5xqR5ivWxHpzYXNpP0QIm1L9h9bqJ7E+KUqaTXEkg=; b=hGXIaAWRqLKXLtxphkE1EfP0czNLeoCAQDtY4aMoVMuebVbwa0sBauD4trp4rkhA NwRuFACH9wv384nzlL1C2HzExyjVK/AR5n4a+ivjAtNjmnq1hwidhjy6xasuCJFLZyI ItUFWvCMPJXMGzo2LTzRUmZ3bc43G5UTye4Vs58k= Received: from localhost (p54ad49b6.dip0.t-ipconnect.de [84.173.73.182]) by mx.zohomail.com with SMTPS id 1591864439656830.2980383362643; Thu, 11 Jun 2020 01:33:59 -0700 (PDT) References: <703B1E0F-BE41-469D-9357-D3FFAA5CF8FD@lepiller.eu> <878sh1e1gf.fsf@elephly.net> <873674i691.fsf@gnu.org> <87wo4gf9hg.fsf@elephly.net> User-agent: mu4e 1.4.4; emacs 26.3 From: Ricardo Wurmus To: Dmitry Alexandrov Subject: Re: Manual consistency In-reply-to: X-URL: https://elephly.net X-PGP-Key: https://elephly.net/rekado.pubkey X-PGP-Fingerprint: BCA6 89B6 3655 3801 C3C6 2150 197A 5888 235F ACAC Date: Thu, 11 Jun 2020 10:33:56 +0200 Message-ID: <877dwef1cb.fsf@elephly.net> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-ZohoMailClient: External Received-SPF: pass client-ip=136.143.188.53; envelope-from=rekado@elephly.net; helo=sender4-of-o53.zoho.com X-detected-operating-system: by eggs.gnu.org: First seen = 2020/06/11 04:34:05 X-ACL-Warn: Detected OS = Linux 3.11 and newer [fuzzy] X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_NONE=-0.0001, RCVD_IN_MSPIKE_H4=-0.01, RCVD_IN_MSPIKE_WL=-0.01, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, URIBL_BLOCKED=0.001 autolearn=_AUTOLEARN X-Spam_action: no action X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: guix-devel@gnu.org Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: "Guix-devel" X-Scanner: scn0 Authentication-Results: aspmx1.migadu.com; dkim=fail (rsa verify failed) header.d=elephly.net header.s=zoho header.b=hGXIaAWR; dmarc=none; spf=pass (aspmx1.migadu.com: domain of guix-devel-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-devel-bounces@gnu.org X-Spam-Score: 1.99 X-TUID: jS1QveJzI2RN Dmitry Alexandrov writes: > Ricardo Wurmus wrote: >> Ludovic Court=C3=A8s writes: >>> Ricardo Wurmus skribis: >>>> Julien Lepiller writes: >>>>> If there is a way to mark a sentence to wrap it into a class, we coul= d also do some CSS magic with :before. >>> >>> What about adding some more post-processing in doc/build.scm? :-) >> >> If we=E2=80=99re okay with wrapping individual lines in @code{=E2=80=A6}= that won=E2=80=99t be necessary. Having each logical line of code within = @code results in >> >> 
>>     this line
>>     that line
>>
>> >> and that=E2=80=99s something we *can* style with CSS. > > May I chime in? > > Do I get it right: you are suggesting to remove prompts from .texi and pu= t them back in HTML output only =E2=80=94 leaving other formats with not pr= ompts? > > And that is only to make them unselectable? I do not quite understand, w= hy this is needed at all (are there multiline examples in the manual, that = expected to be blindly copypasted to terminal?), but in any case no hacks l= ike =E2=80=98::before=E2=80=99 are required =E2=80=94 =E2=80=98user-select:= none=E2=80=99 is supported by all modern webengines (yet sometimes with pr= efix): > > >=20=09 > 
$ wget =E2=80=A6/guix-install.sh
> 	$ su -
> 	# bash ./guix-install.sh
>
This is good. The only minor problem is that with Texinfo we cannot insert conditional tags within the context of an example section, so we would have to rewrite the HTML via post-processing. --=20 Ricardo