summaryrefslogtreecommitdiff
path: root/Documentation/dev-tools
diff options
context:
space:
mode:
authorFederico Vaga <federico.vaga@vaga.pv.it>2018-11-21 03:35:19 +0300
committerJonathan Corbet <corbet@lwn.net>2018-12-06 20:21:19 +0300
commitf77af637f29da49193283e883a9b18406fb45d3d (patch)
tree44602d9f6cc417dda0432d4d5171e63162204f6e /Documentation/dev-tools
parent2f7e6f6bf0d5fda265e403423921588cda7ce16e (diff)
downloadlinux-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.rst2
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
==========