summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/scripts/texdoc/Data.tlpdb.lua
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2017-10-26 22:32:17 +0000
committerKarl Berry <karl@freefriends.org>2017-10-26 22:32:17 +0000
commitc7d293b1d9434fe1e1a541f20461efd80ad7dc75 (patch)
tree0b86d15c1ba3deb54619a534c37d8b5889b55cb1 /Master/texmf-dist/scripts/texdoc/Data.tlpdb.lua
parent3362365a833979f19cc8fde42cbc789e1b368180 (diff)
prioritize get_doclist_texdocs over get_doclist_tlpdb; cmdline parsing (texdoc r15,r16)
git-svn-id: svn://tug.org/texlive/trunk@45611 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/scripts/texdoc/Data.tlpdb.lua')
0 files changed, 0 insertions, 0 deletions