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:
696696
697697.. productionlist :: doctest
698698 directive: "#" "doctest:" `directive_options `
699- directive_options: `directive_option ` ("," `directive_option `)\ *
699+ directive_options: `directive_option ` ("," `directive_option `)*
700700 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" | ...
703703
704704Whitespace is not allowed between the ``+ `` or ``- `` and the directive option
705705name. 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