From mboxrd@z Thu Jan 1 00:00:00 1970 From: Ramsay Jones Subject: Re: [PATCH] doc: add intro stolen from the wiki Date: Tue, 16 Jun 2020 02:38:26 +0100 Message-ID: <1d164023-8e9d-8950-7fec-b1bd7b673c31@ramsayjones.plus.com> References: <20200616001122.65350-1-luc.vanoostenryck@gmail.com> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit Return-path: Received: from avasout03.plus.net ([84.93.230.244]:39750 "EHLO avasout03.plus.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1725891AbgFPBic (ORCPT ); Mon, 15 Jun 2020 21:38:32 -0400 In-Reply-To: <20200616001122.65350-1-luc.vanoostenryck@gmail.com> Content-Language: en-GB Sender: linux-sparse-owner@vger.kernel.org List-Id: linux-sparse@vger.kernel.org To: Luc Van Oostenryck , linux-sparse@vger.kernel.org On 16/06/2020 01:11, Luc Van Oostenryck wrote: > The wiki has a small into, perfectable but nice s/into/intro/ or s/into/introduction/ s/perfectable but/which could be improved, but is/ > enough while the doc here has no such thing. s/enough/enough,/ > > So, copy the intro from the wiki into the entrypoint s/intro/introduction/ maybe. ATB, Ramsay Jones > of the documentation (and convert the wikimedia markup > into restructuredtext). > > Signed-off-by: Luc Van Oostenryck > --- > Documentation/index.rst | 37 +++++++++++++++++++++++++++++++++++++ > 1 file changed, 37 insertions(+) > > diff --git a/Documentation/index.rst b/Documentation/index.rst > index eb3de63c9ca7..415da4bb27af 100644 > --- a/Documentation/index.rst > +++ b/Documentation/index.rst > @@ -6,6 +6,43 @@ Welcome to sparse's documentation > .. toctree:: > :maxdepth: 1 > > +About Sparse > +------------ > + > +Sparse, the semantic parser, provides a compiler frontend capable of > +parsing most of ANSI C as well as many GCC extensions, and a collection > +of sample compiler backends, including a static analyzer also called `sparse`. > +Sparse provides a set of annotations designed to convey semantic information > +about types, such as what address space pointers point to, or what locks > +function acquires or releases. > + > +Linus Torvalds started writing Sparse in 2003, initially targeting issues such > +as mixing pointers to user address space and pointers to kernel address space. > + > +Josh Triplett was Sparse's first maintainer in 2006. This role was taken over > +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/ > + > +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:: > + > + git clone git://git.kernel.org/pub/scm/devel/sparse/sparse.git > + > +You can also `browse the Git repository `_. > + > +Mailing list > +~~~~~~~~~~~~ > + > +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``. > + > +You can browse the list archives at https://marc.info/?l=linux-sparse. > + > User documentation > ------------------ > .. toctree:: >