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/doc-guide | |
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/doc-guide')
-rw-r--r-- | Documentation/doc-guide/sphinx.rst | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Documentation/doc-guide/sphinx.rst b/Documentation/doc-guide/sphinx.rst index f0796daa95b4..02605ee1d876 100644 --- a/Documentation/doc-guide/sphinx.rst +++ b/Documentation/doc-guide/sphinx.rst @@ -1,3 +1,5 @@ +.. _sphinxdoc: + Introduction ============ |