From: Markus Armbruster <armbru@pond.sub.org>
Date: Mon, 13 Jun 2016 19:58:49 +0000 (+0200)
Subject: doc/xdump: Fix definition of identifier in grammar
X-Git-Tag: v4.4.0~209
X-Git-Url: http://git.pond.sub.org/?p=empserver;a=commitdiff_plain;h=63160725083a299ab04784d13e631522c9e247cb

doc/xdump: Fix definition of identifier in grammar

getid() requires identifiers to start with a letter.  Fix the
documentation to match the code.

Signed-off-by: Markus Armbruster <armbru@pond.sub.org>
---

diff --git a/doc/xdump b/doc/xdump
index 6b1d25b80..adca66c33 100644
--- a/doc/xdump
+++ b/doc/xdump
@@ -173,7 +173,8 @@ use '-' in meta-identifiers and omit the concatenation symbol ','.
     table = header { record } footer ;
     header = "XDUMP" space [ "meta" space ]
 	     identifier space timestamp newline ;
-    identifier = id-chr { id-chr } ;
+    identifier = id-char1 { id-char } ;
+    id-char1 = ? ASCII letter ? ;
     id-char = ? ASCII characters 33..126 except '"#()<>=' ? ;
     timestamp = intnum ;
     footer = "/" number newline ;