diff options
| author | Paul Sokolovsky <pfalcon@users.sourceforge.net> | 2017-07-09 13:51:40 +0300 |
|---|---|---|
| committer | Paul Sokolovsky <pfalcon@users.sourceforge.net> | 2017-07-09 13:51:40 +0300 |
| commit | ad5e7a0e6f991e923fe94cce444289252304f589 (patch) | |
| tree | 89c8854b48ea5aa66f3220a3bbc1aa597eb843c9 | |
| parent | 5f65ad8c96ef373f51b7e12e7e3239a51648b220 (diff) | |
tools/gen-cpydiff: Use case description as 3rd-level heading.
This is required to easily giving links to a particular difference case.
Also, add RST anchors to allow cases to cross-reference each other.
| -rw-r--r-- | tools/gen-cpydiff.py | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/tools/gen-cpydiff.py b/tools/gen-cpydiff.py index 4b273d97f..86ec816e9 100644 --- a/tools/gen-cpydiff.py +++ b/tools/gen-cpydiff.py @@ -185,7 +185,9 @@ def gen_rst(results): rst.write(RSTCHARS[min(i, len(RSTCHARS)-1)] * len(section[i])) rst.write('\n\n') class_ = section - rst.write('**' + output.desc + '**\n\n') + rst.write('.. _cpydiff_%s:\n\n' % output.name.rsplit('.', 1)[0]) + rst.write(output.desc + '\n') + rst.write('~' * len(output.desc) + '\n\n') if output.cause != 'Unknown': rst.write('**Cause:** ' + output.cause + '\n\n') if output.workaround != 'Unknown': |