From 3b479357d8c5c1a655b2b8257f14a8cafe7621fc Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Sat, 14 Nov 2020 16:01:00 +0100
Subject: Run doc_grammar for #13312.

---
 doc/tools/docgram/orderedGrammar | 1 +
 1 file changed, 1 insertion(+)

(limited to 'doc/tools/docgram/orderedGrammar')

diff --git a/doc/tools/docgram/orderedGrammar b/doc/tools/docgram/orderedGrammar
index dfd3a18908..c9d70a88fc 100644
--- a/doc/tools/docgram/orderedGrammar
+++ b/doc/tools/docgram/orderedGrammar
@@ -383,6 +383,7 @@ attribute: [
 
 attr_value: [
 | "=" string
+| "=" ident
 | "(" LIST0 attribute SEP "," ")"
 ]
 
-- 
cgit v1.2.3