diff options
author | Norbert Preining <norbert@preining.info> | 2022-02-02 03:04:47 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2022-02-02 03:04:47 +0000 |
commit | 460879b45ff6e83765da88734e8cc0c6da5043eb (patch) | |
tree | 8bbeaad213d6647db82d17b25a6ffd5bab08da18 /macros/latex/contrib/lwarp/lwarpmk.lua | |
parent | 811714247a66acfce87bba00b9758441ff9d1413 (diff) |
CTAN sync 202202020304
Diffstat (limited to 'macros/latex/contrib/lwarp/lwarpmk.lua')
-rwxr-xr-x | macros/latex/contrib/lwarp/lwarpmk.lua | 13 |
1 files changed, 10 insertions, 3 deletions
diff --git a/macros/latex/contrib/lwarp/lwarpmk.lua b/macros/latex/contrib/lwarp/lwarpmk.lua index eddb459816..b0d9a1c6f4 100755 --- a/macros/latex/contrib/lwarp/lwarpmk.lua +++ b/macros/latex/contrib/lwarp/lwarpmk.lua @@ -1,8 +1,8 @@ #!/usr/bin/env texlua --- Copyright 2016-2021 Brian Dunn +-- Copyright 2016-2022 Brian Dunn -printversion = "v0.902" +printversion = "v0.903" requiredconfversion = "2" -- also at *lwarpmk.conf function printhelp () @@ -383,8 +383,15 @@ function pdftohtml () -- Convert to text: print ("lwarpmk: Converting " .. sourcename .."_html.pdf to " .. sourcename .. "_html.html") -os.execute("pdftotext -enc " .. pdftotextenc .. " -nopgbrk -layout " +err = os.execute("pdftotext -enc " .. pdftotextenc .. " -nopgbrk -layout " .. sourcename .. "_html.pdf " .. sourcename .. "_html.html") +if ( err ~= 0 ) then + print ("lwarpmk: ===") + print ("lwarpmk: Ensure that the Poppler utilities are installed." ) + print ("lwarpmk: See the Lwarp manual: `Installing additional utilities'." ) + print ("lwarpmk: ===") + os.exit(1) +end -- Split the result into individual HTML files: splitfile (homehtmlfilename .. ".html" , sourcename .. "_html.html") end |