| Server IP : 173.236.223.38 / Your IP : 216.73.216.33 Web Server : Apache System : Linux vps62975 6.8.0-83-generic #83~22.04.1-Ubuntu SMP PREEMPT_DYNAMIC Tue Sep 9 18:19:47 UTC 2 x86_64 User : invmicvps ( 6727287) PHP Version : 8.3.30 Disable Function : NONE MySQL : OFF | cURL : ON | WGET : ON | Perl : ON | Python : OFF | Sudo : ON | Pkexec : ON Directory : /bin/ |
Upload File : |
#!/usr/bin/env texlua
-- texdoc.tlu: the main program of texdoc
--
-- The TeX Live Team, GPLv3, see texdoclib.tlu for details
-- Note: we keep this file small as much as possible so that make it easier
-- to install a new version of texdoc in TEXMFHOME.
local lfs = require 'lfs'
local kpse = require 'kpse'
-- setup kpse library
kpse.set_program_name(arg[-1], 'texdoc')
-- get realpath of this file
local function realpath(p)
if os.type == 'unix' then
local e = os.execute('which realpath >/dev/null 2>&1')
if e == 0 then
local h = io.popen(string.format("realpath '%s'", p))
local r = h:read('*a')
h:close()
return r:gsub('\n$', '')
end
end
return ''
end
local file = realpath(arg[0])
-- if the file is not in TEXMFMAIN, set temporal TEXMFAUXTREES and TEXMFDIST
local texmf = file:match('^(.*/texmf[^/]*)/scripts/texdoc/texdoc.tlu$')
if texmf ~= nil then
if texmf ~= kpse.var_value('TEXMFMAIN') then
io.stderr:write('Info: ' ..
'Running Texdoc not installed in the current TEXMFMAIN.\n')
os.setenv('TEXMFAUXTREES', texmf .. ',')
os.setenv('TEXMFDIST', ',')
end
end
-- load the library and execute
local texdoc = require 'texdoclib'
assert(texdoc.cli, 'Internal error: Texdoc is not installed properly.')
texdoc.cli.exec()
-- vim: ft=lua: