Received: by 2002:a05:6902:102b:0:0:0:0 with SMTP id x11csp4001415ybt; Sun, 5 Jul 2020 13:32:20 -0700 (PDT) X-Google-Smtp-Source: ABdhPJxfkZ4Hyg5C0QkQm6yuu+Rl/gEhfMZDSOcUMnR2jaZJKE91ZtPVw79EnirvBorfWXyaMisZ X-Received: by 2002:a50:9e2e:: with SMTP id z43mr53309235ede.385.1593981140464; Sun, 05 Jul 2020 13:32:20 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1593981140; cv=none; d=google.com; s=arc-20160816; b=i/VJLpJl1oGXXh7ntjTDAq9Rj7rpXmQFkMOn9EiHhl6z3KKUvTuhJOH/xgfebu7vpq YmSVanZzOw+nw/aSptPzo0gc1FqfKC/E7FVkxgPmsh8UdrXv2ZLIHT/wzlWNmpUQ4sru 6xlmt+FQGCYA6huMwnPFlF+dkuqB4oldnvO5zlXIDPxn9zSgF2gCtQ0JBKU361BWx15C ls5ciejoVkl19Ur3P31egPGYY+yXpU8nBKAFvxZ6vxNR1oDrI5TjtUA2AximGyjdOe8c LQN8JQmstmrePII4JbYWPelhpB0hN7/nwJUopP+YZFuusne6Wl93kIHGc6I4zAPZLCqp hwng== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:content-transfer-encoding:mime-version :organization:references:in-reply-to:message-id:subject:cc:to:from :date; bh=Uj3EGnijmgPJkjNHOPcmXXavc2J4fDPTuMog3QK3DXE=; b=PRZNsM+OSSypNrSlpN49HMeQsL2A6GAmkonXkUzV2MY6HN/gOZCz/PufNk/4v5HyLV 7D3YmiItPRh88MHAxh/slFSv/zjwI0csT3fGtytucPqdg5qrLWxFSUDh5SmeHw1PJWTQ qNzESU5Q6ZD/xodRmklOzK+yIczC/WzqdRxohgH+l6IbYPrBKldc2D9uanotd02YXjGn DXeKn7aQX0O79c9NQfrIEOwmZCoV87rPUNxu/PYDp6Tk3TpB4wrgRe/X/HMoY4NM12JD Wg8KEAdMJDNSrWS7Xb/U1bkpcaGiXS3eGnAoiJTg2VMCCP+b/qPAtW+oEvRCwKmy5IQs EKKQ== ARC-Authentication-Results: i=1; mx.google.com; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Return-Path: Received: from vger.kernel.org (vger.kernel.org. [23.128.96.18]) by mx.google.com with ESMTP id g9si12472708eds.291.2020.07.05.13.31.57; Sun, 05 Jul 2020 13:32:20 -0700 (PDT) Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) client-ip=23.128.96.18; Authentication-Results: mx.google.com; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1728324AbgGEUaj (ORCPT + 99 others); Sun, 5 Jul 2020 16:30:39 -0400 Received: from ms.lwn.net ([45.79.88.28]:51678 "EHLO ms.lwn.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1728244AbgGEUaj (ORCPT ); Sun, 5 Jul 2020 16:30:39 -0400 Received: from lwn.net (localhost [127.0.0.1]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ms.lwn.net (Postfix) with ESMTPSA id 3E989823; Sun, 5 Jul 2020 20:30:39 +0000 (UTC) Date: Sun, 5 Jul 2020 14:30:38 -0600 From: Jonathan Corbet To: Luc Van Oostenryck Cc: linux-doc@vger.kernel.org, linux-kernel@vger.kernel.org Subject: Re: [PATCH] doc: add link to sparse's home page/internal docs Message-ID: <20200705143038.44091487@lwn.net> In-Reply-To: <20200628095034.69520-1-luc.vanoostenryck@gmail.com> References: <20200626112349.1292a654@lwn.net> <20200628095034.69520-1-luc.vanoostenryck@gmail.com> Organization: LWN.net MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 8bit Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Sun, 28 Jun 2020 11:50:34 +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 > --- > 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