[PATCH] doc: add link to the doc on kernel.org in the man page

[PATCH] doc: add link to the doc on kernel.org in the man page

[Luc Van Oostenryck]

The generated doc is hosted on readthedocs.io since a little
while but:
* it wasn't much publicised
* it's now also live on sparse.docs.kernel.org

So, add a link to this doc on the manpage.

Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
---
 sparse.1 | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/sparse.1 b/sparse.1
index 9a2df0a2df36..bbcffc418f9f 100644
--- a/sparse.1
+++ b/sparse.1
@@ -511,6 +511,10 @@ You do not have to be subscribed to the list to send a message there.
 Bugs can also be reported and tracked via the Linux kernel's bugzilla:
 http://bugzilla.kernel.org/enter_bug.cgi?component=Sparse&product=Tools .
 .
+.SH DOCUMENTATION
+More documentation about Sparse can be found at
+https://sparse.docs.kernel.org
+.
 .SH AUTHORS
 Sparse was started by Linus Torvalds.
 The complete list of contributors can be find at
-- 
2.27.0