diff options
| author | Martin Liska <mliska@suse.cz> | 2021-06-30 12:40:12 +0200 |
|---|---|---|
| committer | Martin Liska <mliska@suse.cz> | 2021-07-12 09:20:43 +0200 |
| commit | 1227799abf0d0e3dafa0d61461cf613468e894df (patch) | |
| tree | 4c3bd969311f919b987fa03c93a70fd5052fdf90 /doc/development/tutorials/examples/autodoc_intenum.py | |
| parent | 805fd98e00229b419106063e5fd1566ca4bd938f (diff) | |
| download | sphinx-git-1227799abf0d0e3dafa0d61461cf613468e894df.tar.gz | |
texinfo: fix emission of @footnote directives.
Right now, labels are emitted as part of a @footnote directive.
That results in e.g.
Note1: (@footnote{@w{(1)}
Future versions of GCC may zero-extend...
})
which is incorrect and should be rather:
Note1: (@footnote{Future versions of GCC may zero-extend...})
Diffstat (limited to 'doc/development/tutorials/examples/autodoc_intenum.py')
0 files changed, 0 insertions, 0 deletions