diff options
author | John MacFarlane <jgm@berkeley.edu> | 2021-07-29 14:54:25 -0600 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2021-07-29 14:54:25 -0600 |
commit | f145aea0f9037f9d957d59ed8608401e7219fbf3 (patch) | |
tree | 0c1b679d1e039e1e51e8c2142cfe47ed9b2d031a /src/Text/Pandoc/Writers/MediaWiki.hs | |
parent | 1f1a30bbf6aa6d1c1dc60ac9d97560346066d02f (diff) | |
download | pandoc-f145aea0f9037f9d957d59ed8608401e7219fbf3.tar.gz |
parseFromString: preserve at least the source directory.
Previously we just set the source name to "chunk" when parsing
from strings, to avoid misleading source positions.
This had the side effect that `rebase_relative_paths` would break
inside sections that were parsed as strings.
So, now we use "ORIGINAL_SOURCE_PATH_chunk" instead of just "chunk".
Closes #7464.
Diffstat (limited to 'src/Text/Pandoc/Writers/MediaWiki.hs')
0 files changed, 0 insertions, 0 deletions