STINNER Victor <vstin...@python.org> added the comment:
".. productionlist::" markup is related to "Grammar production displays": https://www.sphinx-doc.org/en/master/usage/restructuredtext/directives.html#grammar-production-displays We can try to pass a different unique name to each ".. productionlist::" markup: "The productionGroup argument to productionlist serves to distinguish different sets of production lists that belong to different grammars. Multiple production lists with the same productionGroup thus define rules in the same scope." ---------- _______________________________________ Python tracker <rep...@bugs.python.org> <https://bugs.python.org/issue41762> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
