Add \pdfextension mapfile

2021-11-09 16:55:08 +01:00 · 2021-11-09 16:55:08 +01:00 · 15fdafd353
parent 24765e80eb
commit 15fdafd353
1 changed files with 2 additions and 0 deletions
--- a/luametalatex-back-pdf.lua
+++ b/luametalatex-back-pdf.lua
@ -835,6 +835,8 @@ lmlt.luacmd("pdfextension", function(_, immediate)
      error[[Unsupported dest type]]
    end
    node.write(whatsit)
+  elseif scan_keyword'mapfile' then
+    fontmap.mapfile(scan_string())
  elseif scan_keyword'mapline' then
    fontmap.mapline(scan_string())
  else