File tree Expand file tree Collapse file tree 1 file changed +3
-3
lines changed Expand file tree Collapse file tree 1 file changed +3
-3
lines changed Original file line number Diff line number Diff line change @@ -697,10 +697,10 @@ special Python comments following an example's source code:
697
697
698
698
.. productionlist :: doctest
699
699
directive: "#" "doctest:" `directive_options `
700
- directive_options: `directive_option ` ("," `directive_option `)\ *
700
+ directive_options: `directive_option ` ("," `directive_option `)*
701
701
directive_option: `on_or_off ` `directive_option_name `
702
- on_or_off: "+" \ | "-"
703
- directive_option_name: "DONT_ACCEPT_BLANKLINE" \ | "NORMALIZE_WHITESPACE" \ | ...
702
+ on_or_off: "+" | "-"
703
+ directive_option_name: "DONT_ACCEPT_BLANKLINE" | "NORMALIZE_WHITESPACE" | ...
704
704
705
705
Whitespace is not allowed between the ``+ `` or ``- `` and the directive option
706
706
name. The directive option name can be any of the option flag names explained
You can’t perform that action at this time.
0 commit comments