diff options
| author | Federico Vaga <federico.vaga@vaga.pv.it> | 2018-11-21 01:35:19 +0100 |
|---|---|---|
| committer | Jonathan Corbet <corbet@lwn.net> | 2018-12-06 10:21:19 -0700 |
| commit | f77af637f29da49193283e883a9b18406fb45d3d (patch) | |
| tree | 44602d9f6cc417dda0432d4d5171e63162204f6e /Documentation/dev-tools | |
| parent | 2f7e6f6bf0d5fda265e403423921588cda7ce16e (diff) | |
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 ========== |