diff options
author | Ralph Amissah <ralph.amissah@gmail.com> | 2019-04-10 14:25:38 -0400 |
---|---|---|
committer | Ralph Amissah <ralph.amissah@gmail.com> | 2019-05-17 16:59:54 -0400 |
commit | 6d337554a5354b5ac3825f8103a90476edea46ac (patch) | |
tree | a0c41d08a2488503c0770adab77989b0898dce5c /org/default_paths.org | |
parent | 0.6.0 docReform project license AGPLv3+ (diff) |
text format delimiter, use: "┃" instead of "┋"
- gdc has compilation issue with the "┋" character,
not worth arguing, make internal marker changes
(can be changed again)
- text format delimiter
rg -l "┋" org/. | xargs sed -i 's/┋/┃/g'
Diffstat (limited to 'org/default_paths.org')
-rw-r--r-- | org/default_paths.org | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/org/default_paths.org b/org/default_paths.org index 5ba5a43..26e28f5 100644 --- a/org/default_paths.org +++ b/org/default_paths.org @@ -1034,7 +1034,7 @@ template DocReformPathsUrl() { return _doc_root; } string html_seg(string html_segname, string obj_id) { // TODO bespoke for sqlite - string _url = format(q"┋%s/%s/html/%s/%s.html#%s┋", + string _url = format(q"┃%s/%s/html/%s/%s.html#%s┃", doc_root, doc_matters.src.language, doc_matters.src.filename_base, |