Received: by 2002:ac0:a5a7:0:0:0:0:0 with SMTP id m36-v6csp3019888imm; Mon, 13 Aug 2018 04:45:36 -0700 (PDT) X-Google-Smtp-Source: AA+uWPyj5GZFvWhYiISrKMp9Fm+SR6w5ASZHaEnwaomhMFBVERstVFsYhpwc0Z6QXVUMFJBDxMjK X-Received: by 2002:a17:902:9883:: with SMTP id s3-v6mr16374605plp.194.1534160736489; Mon, 13 Aug 2018 04:45:36 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1534160736; cv=none; d=google.com; s=arc-20160816; b=QlrhZs897CWOGXXMHOLB34CZvbeGlvahMXY1E29GPZmdoSq8UAZm0rl2D8GAzyFoTV 1G0rZBwDx07kRP0kuyb+Wp9c/MH9fYIQ0PNQSKMFmKcazXCDenZXHYg5j2Sl1G7peOvW B7f4/v9haIVX4dMrcCSbpkugQjufKMoe5ySk2pTwnuiWHhD/67ef87G8qdOM4qI/0e9s ZLQWhyVEFifbd8bzpwvLchlvX/a6alw+JfOIJCq2n8CYmhKFr9LdFdEoIbYfTqftSSNk MIZfoONqGaawLoBeFlbfJ7wYrsaGjDd6NE7uIhJ0iii30fH9p7vd/lVJ5DNFc8bo2uEf hozQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:mime-version:user-agent:references :message-id:in-reply-to:subject:cc:to:from:date :arc-authentication-results; bh=11lWvnfEtVr+5tw6YnKOKcE/+DddtAhJPLVU233eNJw=; b=eQtnNRlqkWLrrQTHNtZEryr9LL+omyiYJnKuet2pK9z5/gJWPtBflLsbmjiGuWM12S u0hxOH+9j31nSEDcMijCWes8eb8xBnmGRjvAZuPx83Iki5lUeh+RonZktBDUiFeXCza5 wkwflEuuhzeTAOzXD55n+jo6j5CSFqoaSSQHtcDJNfQ14BB3kJftA0Wfr6KC+MmDnVMR wrYbgR04Uq5rzNWe+zmnldO5e++BL4Fpu61xPip5acCaExnmCtuna16tAj7mIDb/axE1 Y34hjxpDZnp23TPjawswJi99IXDTHNi6nnMtXQcIJOkmr4Jenx5+QnA9Sz/FLso9Z7ta 915Q== ARC-Authentication-Results: i=1; mx.google.com; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Return-Path: Received: from vger.kernel.org (vger.kernel.org. [209.132.180.67]) by mx.google.com with ESMTP id 27-v6si17493892pgn.24.2018.08.13.04.45.21; Mon, 13 Aug 2018 04:45:36 -0700 (PDT) Received-SPF: pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) client-ip=209.132.180.67; Authentication-Results: mx.google.com; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1729740AbeHMOFN (ORCPT + 99 others); Mon, 13 Aug 2018 10:05:13 -0400 Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:21494 "EHLO mail3-relais-sop.national.inria.fr" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1729718AbeHMOFM (ORCPT ); Mon, 13 Aug 2018 10:05:12 -0400 X-IronPort-AV: E=Sophos;i="5.53,233,1531778400"; d="scan'208";a="275726379" Received: from vaio-julia.rsr.lip6.fr ([132.227.76.33]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 13 Aug 2018 13:23:21 +0200 Date: Mon, 13 Aug 2018 13:23:12 +0200 (CEST) From: Julia Lawall X-X-Sender: jll@hadrien To: Himanshu Jha cc: corbet@lwn.net, Gilles Muller , nicolas.palix@imag.fr, cocci@systeme.lip6.fr, linux-doc@vger.kernel.org, linux-kernel@vger.kernel.org Subject: Re: [PATCH v2] docs: dev-tools: coccinelle: Update documentation In-Reply-To: <20180813104638.7935-1-himanshujha199640@gmail.com> Message-ID: References: <20180813104638.7935-1-himanshujha199640@gmail.com> User-Agent: Alpine 2.20 (DEB 67 2015-01-07) MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Mon, 13 Aug 2018, Himanshu Jha wrote: > * Fix install instruction by adding `./autogen` command > before `./configure`. > * Add link to a more detailed installation instruction. > * Add link to SmPL grammar documentation. > * Add single space after ',' to slightly improve readability. Acked-by: Julia Lawall Thanks! > > Signed-off-by: Himanshu Jha > --- > > v2: > - instruction -> instructions > - Or Github at: -> Or from Github at: > > Documentation/dev-tools/coccinelle.rst | 23 +++++++++++++++++++---- > 1 file changed, 19 insertions(+), 4 deletions(-) > > diff --git a/Documentation/dev-tools/coccinelle.rst b/Documentation/dev-tools/coccinelle.rst > index 94f41c290bfc..aa14f05cabb1 100644 > --- a/Documentation/dev-tools/coccinelle.rst > +++ b/Documentation/dev-tools/coccinelle.rst > @@ -30,18 +30,29 @@ of many distributions, e.g. : > - NetBSD > - FreeBSD > > -You can get the latest version released from the Coccinelle homepage at > +Some distribution packages are obsolete and it is recommended > +to use the latest version released from the Coccinelle homepage at > http://coccinelle.lip6.fr/ > > -Once you have it, run the following command:: > +Or from Github at: > > - ./configure > +https://github.com/coccinelle/coccinelle > + > +Once you have it, run the following commands:: > + > + ./autogen > + ./configure > make > > as a regular user, and install it with:: > > sudo make install > > +More detailed installation instructions to build from source can be > +found at: > + > +https://github.com/coccinelle/coccinelle/blob/master/install.txt > + > Supplemental documentation > --------------------------- > > @@ -51,6 +62,10 @@ https://bottest.wiki.kernel.org/coccicheck > > The wiki documentation always refers to the linux-next version of the script. > > +For Semantic Patch Language(SmPL) grammar documentation refer to: > + > +http://coccinelle.lip6.fr/documentation.php > + > Using Coccinelle on the Linux kernel > ------------------------------------ > > @@ -223,7 +238,7 @@ Since coccicheck runs through make, it naturally runs from the kernel > proper dir, as such the second rule above would be implied for picking up a > .cocciconfig when using ``make coccicheck``. > > -``make coccicheck`` also supports using M= targets.If you do not supply > +``make coccicheck`` also supports using M= targets. If you do not supply > any M= target, it is assumed you want to target the entire kernel. > The kernel coccicheck script has:: > > -- > 2.17.1 > >