diff options
| author |   Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-06-29 18:13:10 +0200 |
|---|---|---|
| committer |   Jonathan Corbet <corbet@lwn.net> | 2020-07-05 14:32:56 -0600 |
| commit | 1cb3863af6b06fe2b45ce9e5b0491f0ffee54e93 (patch) | |
| tree | 957a3937fbbdda20c654a789f2d0b2e68f27d2a3 /Documentation/dev-tools/sparse.rst | |
| parent | Replace HTTP links with HTTPS ones: LVM (diff) | |
| download | linux-dev-1cb3863af6b06fe2b45ce9e5b0491f0ffee54e93.tar.xz linux-dev-1cb3863af6b06fe2b45ce9e5b0491f0ffee54e93.zip | |
doc: add link to sparse's home page/internal docs
Sparse's home page used to be a wiki (sparse.wiki.kernel.org)
but this wiki only contained a short intro and the release notes.
But nowadays, sparse's main page is sparse.docs.kernel.org,
which contains all what was in the wiki but also other documentation,
mainly oriented about sparse's internals.
So, add a link to this in the kernel documentation.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Acked-by: Mike Rapoport <rppt@linux.ibm.com>
Link: https://lore.kernel.org/r/20200629161310.89783-1-luc.vanoostenryck@gmail.com
Signed-off-by: Jonathan Corbet <corbet@lwn.net>
Diffstat (limited to 'Documentation/dev-tools/sparse.rst')
| -rw-r--r-- | Documentation/dev-tools/sparse.rst | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Documentation/dev-tools/sparse.rst b/Documentation/dev-tools/sparse.rst index 8a7055593c31..02102be7ff49 100644 --- a/Documentation/dev-tools/sparse.rst +++ b/Documentation/dev-tools/sparse.rst @@ -9,6 +9,8 @@ Sparse is a semantic checker for C programs; it can be used to find a number of potential problems with kernel code. See https://lwn.net/Articles/689907/ for an overview of sparse; this document contains some kernel-specific sparse information. +More information on sparse, mainly about its internals, can be found in +its official pages at https://sparse.docs.kernel.org. Using sparse for typechecking |