diff options
author | Albert Krewinkel <albert@zeitkraut.de> | 2019-12-13 12:45:55 +0100 |
---|---|---|
committer | Albert Krewinkel <albert@zeitkraut.de> | 2019-12-13 16:22:04 +0100 |
commit | 75dc0130364decfc34a42936d107c24df9532b64 (patch) | |
tree | 78f81171d4a1f6609e8e86762fd82fe0b9789ea7 /src/Text/Pandoc/Readers/RST.hs | |
parent | 2af13ef05aa2b0178ba11184943045cc7782fa0e (diff) | |
download | pandoc-75dc0130364decfc34a42936d107c24df9532b64.tar.gz |
Org reader: add table labels to caption if both are present
The table `#+NAME:` or `#+LABEL:` is added to the table's caption in the
form of an empty span with the label set as the span's ID.
Closes: #5984
Diffstat (limited to 'src/Text/Pandoc/Readers/RST.hs')
0 files changed, 0 insertions, 0 deletions