diff options
author | Norbert Preining <norbert@preining.info> | 2022-06-15 03:00:50 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2022-06-15 03:00:50 +0000 |
commit | da68bce1d25d68087ca3b70134a61ae1c3a96b67 (patch) | |
tree | 4d176d7c6b7c9bdbe49b9d24d72b61493ff25dc1 /language/greek/greek-fontenc/lgr2licr.lua | |
parent | 0123ca8e30234615dca0d8853dffec2fb93fe9a8 (diff) |
CTAN sync 202206150300
Diffstat (limited to 'language/greek/greek-fontenc/lgr2licr.lua')
-rwxr-xr-x | language/greek/greek-fontenc/lgr2licr.lua | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/language/greek/greek-fontenc/lgr2licr.lua b/language/greek/greek-fontenc/lgr2licr.lua index da64c0ad73..74d52f0c92 100755 --- a/language/greek/greek-fontenc/lgr2licr.lua +++ b/language/greek/greek-fontenc/lgr2licr.lua @@ -140,8 +140,8 @@ s = string.gsub(s, "(\\?)([a-zA-Z]*)([^\\]?)", lgr_replace) -- Ligatures:: -s = string.gsub(s, "%(%(", "\\guillemotleft{}") -s = string.gsub(s, "%)%)", "\\guillemotright{}") +s = string.gsub(s, "%(%(", "\\guillemetleft{}") +s = string.gsub(s, "%)%)", "\\guillemetright{}") s = string.gsub(s, "\\'\\'", "\\textquoteright{}") -- '' s = string.gsub(s, "\\`\\`", "\\textquoteleft{}") -- `` s = string.gsub(s, '\"(%s)', "\\textquoteright{}%1") |