diff options
author | Karl Berry <karl@freefriends.org> | 2019-05-05 21:18:04 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2019-05-05 21:18:04 +0000 |
commit | 8b3f105e5c735e3dff4098328dd7e7004822224c (patch) | |
tree | 90f1c4f6269996e8dedce9b5efcc4f0460f8f43b /Build | |
parent | 774b0cc955eeff81b70c51e3c3287399474cc555 (diff) |
ctanbib (5may19)
git-svn-id: svn://tug.org/texlive/trunk@51014 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build')
-rwxr-xr-x | Build/source/texk/texlive/linked_scripts/ctanbib/ctanbib | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Build/source/texk/texlive/linked_scripts/ctanbib/ctanbib b/Build/source/texk/texlive/linked_scripts/ctanbib/ctanbib index f73fc70c9ff..10666696b56 100755 --- a/Build/source/texk/texlive/linked_scripts/ctanbib/ctanbib +++ b/Build/source/texk/texlive/linked_scripts/ctanbib/ctanbib @@ -27,7 +27,7 @@ Available options: ]]) os.exit(1) elseif arg[1]=="--version" or arg[1]=="-v" then - print "ctanbib version v0.1b" + print "ctanbib version v0.1c" os.exit(1) elseif arg[1]=="--ctan" or arg[1]=="-c" then table.remove(arg, 1) @@ -56,7 +56,8 @@ local dom = require('luaxml-domobject') local load_xml = function(url) - local command = io.popen("wget -qO- ".. url,"r") + -- local command = io.popen("wget -qO- ".. url,"r") + local command = io.popen("curl -sS ".. url,"r") local info = command:read("*all") command:close() |