John MacFarlane
1ff6afdec8
Add prefixes to identifiers with --file-scope.
...
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`.
2022-09-06 21:23:59 -07:00
..
2022-01-21 12:00:45 -08:00
2022-01-28 08:51:27 -08:00
2022-01-21 15:01:50 -08:00
2022-08-22 15:32:39 +02:00
2022-01-21 15:01:50 -08:00
2022-03-30 10:07:09 -07:00
2022-08-30 09:51:09 +02:00
2022-06-13 23:14:51 -06:00
2022-01-20 09:17:34 -08:00
2022-01-15 12:39:19 -08:00
2022-05-02 17:25:57 +02:00
2022-01-19 09:36:48 -08:00
2022-01-21 15:01:50 -08:00
2022-06-22 23:09:51 -07:00
2022-06-06 09:24:28 -07:00
2022-08-01 10:03:48 -07:00
2022-04-26 13:03:02 -07:00
2022-03-07 10:46:07 -08:00
2022-01-10 10:29:25 -08:00
2022-03-30 10:07:09 -07:00
2022-01-15 12:39:19 -08:00
2022-01-10 10:40:49 -08:00
2022-01-10 10:40:49 -08:00
2022-01-10 10:40:49 -08:00
2022-07-25 11:01:11 -07:00
2022-06-01 23:24:49 -07:00
2022-01-21 15:01:50 -08:00
2022-01-21 12:00:45 -08:00
2022-02-12 17:39:02 -08:00
2022-08-22 12:53:58 +02:00
2022-09-06 21:23:59 -07:00
2022-05-02 17:25:57 +02:00
2022-05-20 09:46:16 +02:00
2022-05-20 09:46:16 +02:00
2022-05-20 09:46:16 +02:00
2022-05-20 09:46:16 +02:00
2022-05-20 09:46:16 +02:00
2022-01-21 15:01:50 -08:00
2022-01-21 15:01:50 -08:00
2022-04-26 13:03:02 -07:00
2022-04-26 19:32:31 +02:00
2022-04-26 19:32:31 +02:00
2022-01-21 15:01:50 -08:00
2022-03-29 09:03:28 -07:00
2022-03-30 10:07:09 -07:00
2022-07-06 22:10:24 +02:00
2022-01-06 15:05:39 -08:00
2022-01-08 23:21:15 -08:00
2022-01-07 15:58:26 -08:00
2022-01-07 15:58:26 -08:00
2022-01-13 08:41:05 -08:00
2022-01-19 09:36:48 -08:00
2022-01-20 19:09:44 -08:00
2022-01-20 09:17:34 -08:00
2022-01-28 08:51:27 -08:00
2022-01-28 08:51:27 -08:00
2022-01-23 22:13:58 -08:00
2022-01-28 18:20:14 +01:00
2022-02-09 12:31:18 -08:00
2022-05-03 10:44:09 -07:00
2022-02-13 17:43:30 -08:00
2022-02-23 10:04:15 -08:00
2022-02-19 11:55:46 -08:00
2022-02-27 23:24:30 -08:00
2022-02-26 11:37:46 -08:00
2022-03-09 17:53:00 -08:00
2022-03-14 12:45:45 -07:00
2022-04-01 10:41:33 -07:00
2022-04-08 20:52:37 -07:00
2022-04-20 13:34:41 -07:00
2022-04-28 15:49:20 -07:00
2022-05-16 16:45:05 -07:00
2022-05-18 09:55:22 -07:00
2022-06-01 23:24:49 -07:00
2022-06-02 08:46:26 -07:00
2022-06-02 09:01:18 -07:00
2022-07-28 11:28:02 -07:00
2022-08-03 15:00:35 +02:00
2022-07-04 14:34:14 +02:00
2022-07-07 22:56:29 +02:00
2022-08-25 10:18:11 -07:00
2022-07-28 11:28:02 -07:00
2022-07-18 19:52:33 +02:00
2022-07-16 15:49:45 +02:00
2022-08-03 09:51:13 +02:00
2022-08-17 16:49:37 +02:00
2022-08-05 13:48:30 +02:00
2022-08-17 12:39:07 +02:00
2022-08-21 21:53:33 +02:00
2022-08-24 09:36:13 -07:00
2022-08-27 17:30:17 -07:00
2022-09-01 09:06:42 +02:00
2022-09-05 09:51:59 -07:00
2022-01-13 08:41:05 -08:00
2022-02-22 09:05:39 -08:00
2022-02-22 09:05:39 -08:00
2022-02-22 09:05:39 -08:00
2022-02-22 09:05:39 -08:00
2022-02-22 09:05:39 -08:00
2022-01-21 15:01:50 -08:00
2022-02-22 09:05:39 -08:00
2022-01-21 15:01:50 -08:00
2022-09-06 21:23:59 -07:00
2022-09-06 21:23:59 -07:00
2022-04-08 20:52:37 -07:00
2022-06-13 23:14:51 -06:00
2022-08-01 10:03:48 -07:00
2022-02-22 09:05:39 -08:00
2022-01-21 15:01:50 -08:00
2022-07-11 23:40:13 +02:00
2022-01-21 15:01:50 -08:00
2022-01-21 15:01:50 -08:00
2022-01-21 15:01:50 -08:00
2022-01-21 15:01:50 -08:00
2022-06-23 09:59:11 -07:00
2022-03-09 17:53:00 -08:00
2022-02-11 21:37:00 -08:00
2022-06-22 23:09:51 -07:00
2022-08-21 20:23:00 -07:00