From 6d337554a5354b5ac3825f8103a90476edea46ac Mon Sep 17 00:00:00 2001 From: Ralph Amissah Date: Wed, 10 Apr 2019 14:25:38 -0400 Subject: =?UTF-8?q?text=20format=20delimiter,=20use:=20"=E2=94=83"=20inste?= =?UTF-8?q?ad=20of=20"=E2=94=8B"?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit - 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' --- org/default_paths.org | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'org/default_paths.org') 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, -- cgit v1.2.3