* [PATCH] doc: add link to sparse's home page/internal docs [not found] <20200626112349.1292a654@lwn.net> @ 2020-06-28 9:50 ` Luc Van Oostenryck 2020-06-29 4:41 ` Mike Rapoport 2020-07-05 20:30 ` [PATCH] " Jonathan Corbet 0 siblings, 2 replies; 6+ messages in thread From: Luc Van Oostenryck @ 2020-06-28 9:50 UTC (permalink / raw) To: Jonathan Corbet; +Cc: linux-doc, linux-kernel, Luc Van Oostenryck 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> --- Documentation/dev-tools/sparse.rst | 2 ++ 1 file changed, 2 insertions(+) diff --git a/Documentation/dev-tools/sparse.rst b/Documentation/dev-tools/sparse.rst index 6f4870528226..e20b8b8b78ed 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.kernl.org. Using sparse for typechecking -- 2.27.0 ^ permalink raw reply related [flat|nested] 6+ messages in thread
* Re: [PATCH] doc: add link to sparse's home page/internal docs 2020-06-28 9:50 ` [PATCH] doc: add link to sparse's home page/internal docs Luc Van Oostenryck @ 2020-06-29 4:41 ` Mike Rapoport 2020-06-29 16:13 ` [PATCH v2] " Luc Van Oostenryck 2020-07-05 20:30 ` [PATCH] " Jonathan Corbet 1 sibling, 1 reply; 6+ messages in thread From: Mike Rapoport @ 2020-06-29 4:41 UTC (permalink / raw) To: Luc Van Oostenryck; +Cc: Jonathan Corbet, linux-doc, linux-kernel On Sun, Jun 28, 2020 at 11:50:34AM +0200, Luc Van Oostenryck wrote: > 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> > --- > Documentation/dev-tools/sparse.rst | 2 ++ > 1 file changed, 2 insertions(+) > > diff --git a/Documentation/dev-tools/sparse.rst b/Documentation/dev-tools/sparse.rst > index 6f4870528226..e20b8b8b78ed 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.kernl.org. Nit: ^ kernel > > > Using sparse for typechecking > -- > 2.27.0 > -- Sincerely yours, Mike. ^ permalink raw reply [flat|nested] 6+ messages in thread
* [PATCH v2] doc: add link to sparse's home page/internal docs 2020-06-29 4:41 ` Mike Rapoport @ 2020-06-29 16:13 ` Luc Van Oostenryck 2020-06-29 20:05 ` Mike Rapoport 2020-07-05 20:33 ` Jonathan Corbet 0 siblings, 2 replies; 6+ messages in thread From: Luc Van Oostenryck @ 2020-06-29 16:13 UTC (permalink / raw) To: Jonathan Corbet Cc: linux-doc, linux-kernel, Mike Rapoport, Luc Van Oostenryck 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> --- Changes since v1: * fix a typo (s/kernl/kernel/) thanks to Mike Rapoport. Documentation/dev-tools/sparse.rst | 2 ++ 1 file changed, 2 insertions(+) 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 -- 2.27.0 ^ permalink raw reply related [flat|nested] 6+ messages in thread
* Re: [PATCH v2] doc: add link to sparse's home page/internal docs 2020-06-29 16:13 ` [PATCH v2] " Luc Van Oostenryck @ 2020-06-29 20:05 ` Mike Rapoport 2020-07-05 20:33 ` Jonathan Corbet 1 sibling, 0 replies; 6+ messages in thread From: Mike Rapoport @ 2020-06-29 20:05 UTC (permalink / raw) To: Luc Van Oostenryck; +Cc: Jonathan Corbet, linux-doc, linux-kernel On Mon, Jun 29, 2020 at 06:13:10PM +0200, Luc Van Oostenryck wrote: > 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> > --- > > Changes since v1: > * fix a typo (s/kernl/kernel/) thanks to Mike Rapoport. > > Documentation/dev-tools/sparse.rst | 2 ++ > 1 file changed, 2 insertions(+) > > 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 > -- > 2.27.0 > -- Sincerely yours, Mike. ^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: [PATCH v2] doc: add link to sparse's home page/internal docs 2020-06-29 16:13 ` [PATCH v2] " Luc Van Oostenryck 2020-06-29 20:05 ` Mike Rapoport @ 2020-07-05 20:33 ` Jonathan Corbet 1 sibling, 0 replies; 6+ messages in thread From: Jonathan Corbet @ 2020-07-05 20:33 UTC (permalink / raw) To: Luc Van Oostenryck; +Cc: linux-doc, linux-kernel, Mike Rapoport On Mon, 29 Jun 2020 18:13:10 +0200 Luc Van Oostenryck <luc.vanoostenryck@gmail.com> wrote: > 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> > --- > > Changes since v1: > * fix a typo (s/kernl/kernel/) thanks to Mike Rapoport. > > Documentation/dev-tools/sparse.rst | 2 ++ > 1 file changed, 2 insertions(+) When I answered saying I'd applied the v1 patch, I meant I'd really applied this one, of course...sorry for the noise. jon ^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: [PATCH] doc: add link to sparse's home page/internal docs 2020-06-28 9:50 ` [PATCH] doc: add link to sparse's home page/internal docs Luc Van Oostenryck 2020-06-29 4:41 ` Mike Rapoport @ 2020-07-05 20:30 ` Jonathan Corbet 1 sibling, 0 replies; 6+ messages in thread From: Jonathan Corbet @ 2020-07-05 20:30 UTC (permalink / raw) To: Luc Van Oostenryck; +Cc: linux-doc, linux-kernel On Sun, 28 Jun 2020 11:50:34 +0200 Luc Van Oostenryck <luc.vanoostenryck@gmail.com> wrote: > 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> > --- > Documentation/dev-tools/sparse.rst | 2 ++ > 1 file changed, 2 insertions(+) > > diff --git a/Documentation/dev-tools/sparse.rst b/Documentation/dev-tools/sparse.rst > index 6f4870528226..e20b8b8b78ed 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.kernl.org. Applied, thanks. jon ^ permalink raw reply [flat|nested] 6+ messages in thread
end of thread, other threads:[~2020-07-05 20:33 UTC | newest]
Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
[not found] <20200626112349.1292a654@lwn.net>
2020-06-28 9:50 ` [PATCH] doc: add link to sparse's home page/internal docs Luc Van Oostenryck
2020-06-29 4:41 ` Mike Rapoport
2020-06-29 16:13 ` [PATCH v2] " Luc Van Oostenryck
2020-06-29 20:05 ` Mike Rapoport
2020-07-05 20:33 ` Jonathan Corbet
2020-07-05 20:30 ` [PATCH] " Jonathan Corbet
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for NNTP newsgroup(s).