Maxime Dénès (Dec 06 2022 at 09:44): Maxime Dénès (Dec 06 2022 at 09:44):The linter says "Error: doc/tools/docgram/fullGrammar is not current" on two of my PRs. What am I supposed to do, to fix it?
Gaëtan Gilbert (Dec 06 2022 at 09:45):make doc_gram_rsts
Maxime Dénès (Dec 06 2022 at 09:48):Thanks a lot! I wonder why the error message doesn't say it. Probably so that we get an occasion to chat.
Notification Bot (Dec 06 2022 at 09:48):Maxime Dénès has marked this topic as resolved.
Notification Bot (Dec 06 2022 at 10:11):Maxime Dénès has marked this topic as unresolved.
Maxime Dénès (Dec 06 2022 at 10:11):Unfortunately, on one of them, I now get:
Error: doc/sphinx/user-extensions/syntax-extensions.rst line 33: MULTIPLE MATCHES for `Notation @string := @one_term {? ( {+, @syntax_modifier } ) } {? : @scope_name }`
Please update the rst manually while preserving any subscripts, e.g. 'NT__sub'
What does it mean?
Théo Zimmermann (Dec 07 2022 at 08:48):Maxime Dénès said:
Thanks a lot! I wonder why the error message doesn't say it. Probably so that we get an occasion to chat.
The PR template tells you what to do though, but I've observed how old-timer never read the PR template, because they think they already know the information it contains.
Karl Palmskog (Dec 07 2022 at 10:14):as a very occasional PR submitter, I think the "new" PR templates are great, very informative and link-y.
Last updated: Apr 20 2024 at 01:41 UTC