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 @@ -696,10 +696,10 @@ special Python comments following an example's source code:
696
696
697
697
.. productionlist :: doctest
698
698
directive: "#" "doctest:" `directive_options `
699
- directive_options: `directive_option ` ("," `directive_option `)\ *
699
+ directive_options: `directive_option ` ("," `directive_option `)*
700
700
directive_option: `on_or_off ` `directive_option_name `
701
- on_or_off: "+" \ | "-"
702
- directive_option_name: "DONT_ACCEPT_BLANKLINE" \ | "NORMALIZE_WHITESPACE" \ | ...
701
+ on_or_off: "+" | "-"
702
+ directive_option_name: "DONT_ACCEPT_BLANKLINE" | "NORMALIZE_WHITESPACE" | ...
703
703
704
704
Whitespace is not allowed between the ``+ `` or ``- `` and the directive option
705
705
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