From 9b9f1a0a4f4e46949e9b4b6ed6e2cc6a68ebc199 Mon Sep 17 00:00:00 2001 From: Luc Van Oostenryck Date: Sun, 21 Jun 2020 11:30:54 +0200 Subject: doc: add some info to the main page Add some info about: * how to get sparse * how to install it, * the mailing list and how to report bugs. Signed-off-by: Luc Van Oostenryck --- Documentation/index.rst | 40 ++++++++++++++++++++++++++++++---------- 1 file changed, 30 insertions(+), 10 deletions(-) diff --git a/Documentation/index.rst b/Documentation/index.rst index 415da4bb..737f4423 100644 --- a/Documentation/index.rst +++ b/Documentation/index.rst @@ -25,23 +25,43 @@ by Christopher Li in 2009 and by Luc Van Oostenryck in late 2018. Getting Sparse -------------- -You can find released versions of sparse at http://www.kernel.org/pub/software/devel/sparse/dist/ +You can find tarballs of released versions of Sparse at +http://www.kernel.org/pub/software/devel/sparse/dist/. -Obtaining sparse via Git -~~~~~~~~~~~~~~~~~~~~~~~~ - -Sparse uses the `Git version control system `_. You can obtain the most recent version of sparse directly from the Git repository with the command:: +The most recent version can be obtained directly from the Git +repository with the command:: git clone git://git.kernel.org/pub/scm/devel/sparse/sparse.git -You can also `browse the Git repository `_. +You can also `browse the Git repository `_ +or use the mirror at https://github.com/lucvoo/sparse. + +Once you have the sources, to build Sparse and install it in your ~/bin +directory, just do:: + + cd sparse + make + make install + +To install it in another directory, use:: + + make PREFIX= install + +Contributing and reporting bugs +------------------------------- -Mailing list -~~~~~~~~~~~~ +Submission of patches and reporting of bugs, as well as discussions +related to Sparse, should be done via the mailing list: +linux-sparse@vger.kernel.org. +You do not have to be subscribed to the list to send a message there. +Previous discussions and bug reports are available on the list +archives at https://marc.info/?l=linux-sparse. -Discussions about sparse occurs on the sparse mailing list, linux-sparse@vger.kernel.org. To subscribe to the list, send an email with ``subscribe linux-sparse`` in the body to ``majordomo@vger.kernel.org``. +To subscribe to the list, send an email with +``subscribe linux-sparse`` in the body to ``majordomo@vger.kernel.org``. -You can browse the list archives at https://marc.info/?l=linux-sparse. +Bugs can also be reported and tracked via the Linux kernel's bugzilla: +http://bugzilla.kernel.org/enter_bug.cgi?component=Sparse&product=Tools. User documentation ------------------ -- cgit 1.2.3-korg