Linux-Sparse Archive on lore.kernel.org
 help / color / Atom feed
* [PATCH] doc: add intro stolen from the wiki
@ 2020-06-16  0:11 Luc Van Oostenryck
  2020-06-16  1:38 ` Ramsay Jones
  0 siblings, 1 reply; 3+ messages in thread
From: Luc Van Oostenryck @ 2020-06-16  0:11 UTC (permalink / raw)
  To: linux-sparse; +Cc: Luc Van Oostenryck

The wiki has a small into, perfectable but nice
enough while the doc here has no such thing.

So, copy the intro from the wiki into the entrypoint
of the documentation (and convert the wikimedia markup
into restructuredtext).

Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
---
 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 <http://git-scm.com/>`_. 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 <https://git.kernel.org/pub/scm/devel/sparse/sparse.git>`_.
+
+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::
-- 
2.27.0

^ permalink raw reply	[flat|nested] 3+ messages in thread

* Re: [PATCH] doc: add intro stolen from the wiki
  2020-06-16  0:11 [PATCH] doc: add intro stolen from the wiki Luc Van Oostenryck
@ 2020-06-16  1:38 ` Ramsay Jones
  2020-06-16 20:57   ` Luc Van Oostenryck
  0 siblings, 1 reply; 3+ messages in thread
From: Ramsay Jones @ 2020-06-16  1:38 UTC (permalink / raw)
  To: Luc Van Oostenryck, linux-sparse



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 <luc.vanoostenryck@gmail.com>
> ---
>  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 <http://git-scm.com/>`_. 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 <https://git.kernel.org/pub/scm/devel/sparse/sparse.git>`_.
> +
> +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::
> 

^ permalink raw reply	[flat|nested] 3+ messages in thread

* Re: [PATCH] doc: add intro stolen from the wiki
  2020-06-16  1:38 ` Ramsay Jones
@ 2020-06-16 20:57   ` Luc Van Oostenryck
  0 siblings, 0 replies; 3+ messages in thread
From: Luc Van Oostenryck @ 2020-06-16 20:57 UTC (permalink / raw)
  To: Ramsay Jones; +Cc: linux-sparse

On Tue, Jun 16, 2020 at 02:38:26AM +0100, Ramsay Jones wrote:
> 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.

Fixed now. Thank you.
-- Luc 

^ permalink raw reply	[flat|nested] 3+ messages in thread

end of thread, back to index

Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-06-16  0:11 [PATCH] doc: add intro stolen from the wiki Luc Van Oostenryck
2020-06-16  1:38 ` Ramsay Jones
2020-06-16 20:57   ` Luc Van Oostenryck

Linux-Sparse Archive on lore.kernel.org

Archives are clonable:
	git clone --mirror https://lore.kernel.org/linux-sparse/0 linux-sparse/git/0.git

	# If you have public-inbox 1.1+ installed, you may
	# initialize and index your mirror using the following commands:
	public-inbox-init -V2 linux-sparse linux-sparse/ https://lore.kernel.org/linux-sparse \
		linux-sparse@vger.kernel.org
	public-inbox-index linux-sparse

Example config snippet for mirrors

Newsgroup available over NNTP:
	nntp://nntp.lore.kernel.org/org.kernel.vger.linux-sparse


AGPL code for this site: git clone https://public-inbox.org/public-inbox.git