]> git.pond.sub.org Git - empserver/blobdiff - doc/xdump
doc/xdump: Fix definition of identifier in grammar
[empserver] / doc / xdump
index 6b1d25b802bf20d22185ef85887618d5d237acdf..adca66c337c5e8ab597bebba7e59649858ac51c5 100644 (file)
--- 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 ;