From da961881b4f5c1e89e4e66d92c8af5ee1192e4df Mon Sep 17 00:00:00 2001
From: Robert Griesemer <gri@golang.org>
Date: Thu, 17 Sep 2009 11:01:50 -0700
Subject: [PATCH] - silence ebnflint: mark syntax section as "ebnf" instead of
 "grammar" - re-use MethodName production

R=r
DELTA=4  (1 added, 1 deleted, 2 changed)
OCL=34734
CL=34734
---
 doc/go_spec.html | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/doc/go_spec.html b/doc/go_spec.html
index 301466bebb5..14a43c22021 100644
--- a/doc/go_spec.html
+++ b/doc/go_spec.html
@@ -1731,8 +1731,9 @@ A method declaration binds an identifier to a method,
 which is a function with a <i>receiver</i>.
 </p>
 <pre class="ebnf">
-MethodDecl = "func" Receiver identifier Signature [ Body ] .
+MethodDecl = "func" Receiver MethodName Signature [ Body ] .
 Receiver = "(" [ identifier ] [ "*" ] TypeName ")" .
+MethodName = identifier .
 </pre>
 
 <p>
@@ -2862,10 +2863,9 @@ with the same arguments as <code>M</code> prefixed by an additional
 argument that is the receiver of the method.
 </p>
 
-<pre class="grammar">
+<pre class="ebnf">
 MethodExpr    = ReceiverType "." MethodName .
 ReceiverType  = TypeName | "(" "*" TypeName ")" .
-MethodName    = identifier .
 </pre>
 
 <p>