From c6dd8c18f0e5697fb193851bb1c0108dc56c6d72 Mon Sep 17 00:00:00 2001
From: Rob Pike <r@golang.org>
Date: Tue, 3 Nov 2009 22:19:56 -0800
Subject: [PATCH] document ebnflint

R=gri
http://go/go-review/1016034
---
 src/cmd/ebnflint/doc.go | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)
 create mode 100644 src/cmd/ebnflint/doc.go

diff --git a/src/cmd/ebnflint/doc.go b/src/cmd/ebnflint/doc.go
new file mode 100644
index 0000000000..d395a34683
--- /dev/null
+++ b/src/cmd/ebnflint/doc.go
@@ -0,0 +1,22 @@
+// Copyright 2009 The Go Authors. All rights reserved.
+// Use of this source code is governed by a BSD-style
+// license that can be found in the LICENSE file.
+
+/*
+
+The ebnflint program verifies that EBNF productions in an HTML document
+such as the Go specification document are consistent and grammatically correct.
+
+Grammar productions are grouped in boxes demarcated by the HTML elements
+	<pre class="ebnf">
+	</pre>
+
+
+Usage:
+	ebnflint [--start production] [file]
+
+The --start flag specifies the name of the start production for
+the grammar; it defaults to "Start".
+
+*/
+package documentation
-- 
2.50.0