diff options
Diffstat (limited to 'Master/texmf-dist/scripts/texdoc/alias.tlu')
-rw-r--r-- | Master/texmf-dist/scripts/texdoc/alias.tlu | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Master/texmf-dist/scripts/texdoc/alias.tlu b/Master/texmf-dist/scripts/texdoc/alias.tlu index 1ae150b5b1c..44c4fc38385 100644 --- a/Master/texmf-dist/scripts/texdoc/alias.tlu +++ b/Master/texmf-dist/scripts/texdoc/alias.tlu @@ -1,6 +1,7 @@ -- alias.tlu: configuration handling for texdoc -- --- Manuel Pégourié-Gonnard, GPLv3, see texdoclib.tlu for details +-- Manuel Pégourié-Gonnard and the TeX Live team, GPLv3, +-- see texdoclib.tlu for details --[[ structure of the alias table @@ -114,3 +115,5 @@ return { get_patterns = get_patterns, aliased_names = aliased_names, } + +-- vim: ft=lua: |