diff options
| author | John MacFarlane <[email protected]> | 2022-09-06 20:54:06 -0700 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2022-09-06 21:23:59 -0700 |
| commit | 1ff6afdec8e0def4445026262ec941c70d6f3d07 (patch) | |
| tree | ec808bcd485548141e3e21d09cbaa24931497aa6 /src/Text/Pandoc/Data.hs | |
| parent | 47dcb5720e6f3bb334df5fb58b0fbe32c062a4a4 (diff) | |
Add prefixes to identifiers with `--file-scope`.multifile
This change only affects the case where `--file-scope` is used
and more than one file is specified on the command line.
In this case, identifiers will be prefixed with a string
derived from the file path, to disambiguate them. For example,
an identifier `foo` in `contents/file1.txt` will become
`contents__file1.txt__foo`. Links will be adjusted accordingly:
if `file2.txt` links to `file1.txt#foo`, then the link will
be changed to point to `#file1.txt__foo`. Similarly, a link
to `file1.txt` will point to `#file1.txt`. A Div with an
identifier derived from the file path will be added around
each file's content, so that links to files will still work.
Closes #6384.
[API change]: Text.Pandoc.Shared exports `textToIdentifier`.
Diffstat (limited to 'src/Text/Pandoc/Data.hs')
0 files changed, 0 insertions, 0 deletions
