From 63160725083a299ab04784d13e631522c9e247cb Mon Sep 17 00:00:00 2001
From: Markus Armbruster <armbru@pond.sub.org>
Date: Mon, 13 Jun 2016 21:58:49 +0200
Subject: [PATCH] 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>
---
 doc/xdump | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/doc/xdump b/doc/xdump
index 6b1d25b8..adca66c3 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 ;