diff options
author | Federico Vaga <federico.vaga@vaga.pv.it> | 2018-11-21 03:35:19 +0300 |
---|---|---|
committer | Jonathan Corbet <corbet@lwn.net> | 2018-12-06 20:21:19 +0300 |
commit | f77af637f29da49193283e883a9b18406fb45d3d (patch) | |
tree | 44602d9f6cc417dda0432d4d5171e63162204f6e /Documentation/dev-tools | |
parent | 2f7e6f6bf0d5fda265e403423921588cda7ce16e (diff) | |
download | linux-f77af637f29da49193283e883a9b18406fb45d3d.tar.xz |
doc:process: add links where missing
Some documents are refering to others without links. With this
patch I add those missing links.
This patch affects only documents under process/ and labels where
necessary.
Signed-off-by: Federico Vaga <federico.vaga@vaga.pv.it>
Signed-off-by: Jonathan Corbet <corbet@lwn.net>
Diffstat (limited to 'Documentation/dev-tools')
-rw-r--r-- | Documentation/dev-tools/coccinelle.rst | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Documentation/dev-tools/coccinelle.rst b/Documentation/dev-tools/coccinelle.rst index aa14f05cabb1..00a3409b0c28 100644 --- a/Documentation/dev-tools/coccinelle.rst +++ b/Documentation/dev-tools/coccinelle.rst @@ -4,6 +4,8 @@ .. highlight:: none +.. _devtools_coccinelle: + Coccinelle ========== |