From: Bagas Sanjaya <bagasdotme@gmail.com>
To: "Jonathan Neuschäfer" <j.neuschaefer@gmx.net>, linux-doc@vger.kernel.org
Cc: Julia Lawall <Julia.Lawall@inria.fr>,
Nicolas Palix <nicolas.palix@imag.fr>,
Jonathan Corbet <corbet@lwn.net>,
cocci@inria.fr, linux-kernel@vger.kernel.org
Subject: Re: [PATCH] Documentation: coccinelle: Escape --options to fix Sphinx output
Date: Mon, 30 Jan 2023 09:00:42 +0700 [thread overview]
Message-ID: <Y9ckylqsgCDsZ/RQ@debian.me> (raw)
In-Reply-To: <20230129151408.1525324-1-j.neuschaefer@gmx.net>
[-- Attachment #1: Type: text/plain, Size: 2420 bytes --]
On Sun, Jan 29, 2023 at 04:14:08PM +0100, Jonathan Neuschäfer wrote:
> Without such escaping, -- is rendered as – (en dash).
Well, the diff below is not what escaping means (to escape dashes is to
prepend each of them with a backslash, i.e. \-\-)
>
> Signed-off-by: Jonathan Neuschäfer <j.neuschaefer@gmx.net>
> ---
> Documentation/dev-tools/coccinelle.rst | 8 ++++----
> 1 file changed, 4 insertions(+), 4 deletions(-)
>
> diff --git a/Documentation/dev-tools/coccinelle.rst b/Documentation/dev-tools/coccinelle.rst
> index d9976069ed126..535ce126fb4fa 100644
> --- a/Documentation/dev-tools/coccinelle.rst
> +++ b/Documentation/dev-tools/coccinelle.rst
> @@ -219,7 +219,7 @@ instance::
> cat cocci.err
>
> You can use SPFLAGS to add debugging flags; for instance you may want to
> -add both --profile --show-trying to SPFLAGS when debugging. For example
> +add both ``--profile --show-trying`` to SPFLAGS when debugging. For example
> you may want to use::
>
> rm -f err.log
> @@ -248,7 +248,7 @@ variables for .cocciconfig is as follows:
>
> - Your current user's home directory is processed first
> - Your directory from which spatch is called is processed next
> -- The directory provided with the --dir option is processed last, if used
> +- The directory provided with the ``--dir`` option is processed last, if used
>
> Since coccicheck runs through make, it naturally runs from the kernel
> proper dir; as such the second rule above would be implied for picking up a
> @@ -265,8 +265,8 @@ The kernel coccicheck script has::
> fi
>
> KBUILD_EXTMOD is set when an explicit target with M= is used. For both cases
> -the spatch --dir argument is used, as such third rule applies when whether M=
> -is used or not, and when M= is used the target directory can have its own
> +the spatch ``--dir`` argument is used, as such third rule applies when whether
> +M= is used or not, and when M= is used the target directory can have its own
> .cocciconfig file. When M= is not passed as an argument to coccicheck the
> target directory is the same as the directory from where spatch was called.
>
You inline (wrap within inline code markup) these option keywords to match
other keywords.
Regardless, LGTM, thanks!
Reviewed-by: Bagas Sanjaya <bagasdotme@gmail.com>
--
An old man doll... just what I always wanted! - Clara
[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 228 bytes --]
next prev parent reply other threads:[~2023-01-30 2:01 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2023-01-29 15:14 [PATCH] Documentation: coccinelle: Escape --options to fix Sphinx output Jonathan Neuschäfer
2023-01-29 15:22 ` Julia Lawall
2023-01-30 2:00 ` Bagas Sanjaya [this message]
2023-01-31 20:38 ` Jonathan Corbet
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=Y9ckylqsgCDsZ/RQ@debian.me \
--to=bagasdotme@gmail.com \
--cc=Julia.Lawall@inria.fr \
--cc=cocci@inria.fr \
--cc=corbet@lwn.net \
--cc=j.neuschaefer@gmx.net \
--cc=linux-doc@vger.kernel.org \
--cc=linux-kernel@vger.kernel.org \
--cc=nicolas.palix@imag.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).