Re: Manual consistency

[Ricardo Wurmus]

Dmitry Alexandrov <dag@gnui.org> writes:

> Ricardo Wurmus <rekado@elephly.net> wrote:
>> Dmitry Alexandrov <dag@gnui.org> writes:
>>>
>>>       <style>
>>>         code .PS1 {
>>>             -webkit-user-select: none;
>>>             -moz-user-select: none; /* Not required since F***fox 69. */
>>>             user-select: none;
>>>         }
>>>       </style>
>>
>> The only minor problem is that with Texinfo we cannot insert conditional 
>> tags within the context of an example section
>
> Dunno, I can:
>
>       \input texinfo
>       @setfilename non-selectable-command-prompts-mwe.info
>       @documentencoding UTF-8
>       @settitle Non-selectable command prompts
>       
>       @macro PS1 {prompt}
>       @inlineraw{html,<span class="PS1">}\prompt\@inlineraw{html,</span>}
>       @end macro
>       
>       @node Example
>       
>       @example
>       @PS1{$ }wget …/guix-install.sh
>       @PS1{$ }su -
>       @PS1{# }bash ./guix-install.sh
>       @end example
>       
>       @bye

Oh, neat!  Let’s try this.

-- 
Ricardo