diff options
| author | LikeLakers2 <1008889+LikeLakers2@users.noreply.github.com> | 2018-10-02 16:37:05 -0400 |
|---|---|---|
| committer | LikeLakers2 <1008889+LikeLakers2@users.noreply.github.com> | 2018-10-02 16:48:40 -0400 |
| commit | 0d6546ed447a68161b6fcd0680862e5ccc68d4a0 (patch) | |
| tree | 409ce0eb3b9cbfb7b4f0672e317112e32d226473 | |
| parent | 723e2e9654615fcfd858786d687d22b9fdfc1fd6 (diff) | |
Add extra newline after enum members and constants, to ensure they'll format properly after a multi-line description
| -rwxr-xr-x | doc/tools/makerst.py | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/doc/tools/makerst.py b/doc/tools/makerst.py index 63a5c8cbbf..b3d6d32c26 100755 --- a/doc/tools/makerst.py +++ b/doc/tools/makerst.py @@ -610,8 +610,7 @@ def make_rst_class(node): s += ' = **' + c.attrib['value'] + '**' if c.text.strip() != '': s += ' --- ' + rstize_text(c.text.strip(), name) - f.write(s + '\n') - f.write('\n') + f.write(s + '\n\n') # Constants if len(consts) > 0: @@ -623,8 +622,7 @@ def make_rst_class(node): s += ' = **' + c.attrib['value'] + '**' if c.text.strip() != '': s += ' --- ' + rstize_text(c.text.strip(), name) - f.write(s + '\n') - f.write('\n') + f.write(s + '\n\n') # Class description descr = node.find('description') |