diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-01-24 13:08:36 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2020-01-24 13:08:36 +0100 |
| commit | 97cc2e53f6fbba7e85a2cbb79f38e077a6e511f7 (patch) | |
| tree | 168bb98db09f9bf46c38fd5c2ade638f518c857e | |
| parent | 1c6d1fcf956b882fc8a14fa595b7f1e9b15e1574 (diff) | |
makerst: Escape reST markup after enums
Fixes #35501.
| -rwxr-xr-x | doc/tools/makerst.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/tools/makerst.py b/doc/tools/makerst.py index 18fc70516e..1ba942585c 100755 --- a/doc/tools/makerst.py +++ b/doc/tools/makerst.py @@ -881,6 +881,7 @@ def rstize_text(text, state): # type: (str, State) -> str inside_code = True elif cmd.startswith('enum '): tag_text = make_enum(cmd[5:], state) + escape_post = True else: tag_text = make_type(tag_text, state) escape_post = True |