summaryrefslogtreecommitdiff
path: root/Build
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2019-05-05 21:18:04 +0000
committerKarl Berry <karl@freefriends.org>2019-05-05 21:18:04 +0000
commit8b3f105e5c735e3dff4098328dd7e7004822224c (patch)
tree90f1c4f6269996e8dedce9b5efcc4f0460f8f43b /Build
parent774b0cc955eeff81b70c51e3c3287399474cc555 (diff)
ctanbib (5may19)
git-svn-id: svn://tug.org/texlive/trunk@51014 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build')
-rwxr-xr-xBuild/source/texk/texlive/linked_scripts/ctanbib/ctanbib5
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()