diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-10-03 00:09:54 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-03 00:09:54 +0200 |
| commit | 2da6d510bc3a84f4c6ed446c4fa4bfce29e31d25 (patch) | |
| tree | c6b0ef4cff2942e4f893d0ef9755980ca78b1289 | |
| parent | 286b70839e22c4390987b1b8d170a2aa31dbee21 (diff) | |
| parent | 0d6546ed447a68161b6fcd0680862e5ccc68d4a0 (diff) | |
Merge pull request #22646 from LikeLakers2/docs-fix-enum-newlines
Add extra newline after enum members and constants, to ensure they'll…
| -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') |