From 7b143ed46ab2b1b804b834b59533bef5960be9bc Mon Sep 17 00:00:00 2001
From: Jim Fehrle
Date: Wed, 18 Dec 2019 23:23:34 -0800
Subject: Convert productionlists to prodns

---
 doc/tools/docgram/README.md | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

(limited to 'doc/tools/docgram/README.md')

diff --git a/doc/tools/docgram/README.md b/doc/tools/docgram/README.md
index a0a1809133..182532e413 100644
--- a/doc/tools/docgram/README.md
+++ b/doc/tools/docgram/README.md
@@ -194,14 +194,15 @@ to the grammar.
 
 ### `.rst` file updates
 
-`doc_grammar` updates `.rst` files when it sees the following 3 lines
+`doc_grammar` updates `.rst` files where it sees the following 3 lines
 
 ```
-.. insertgram <start> <end>
-.. productionlist:: XXX
+.. insertprodn <start> <end>
+
+.. prodn::
 ```
 
-The end of the existing `productionlist` is recognized by a blank line.
+The end of the existing `prodn` is recognized by a blank line.
 
 ### Other details
 
-- 
cgit v1.2.3