diff options
Diffstat (limited to 'Master/texmf/web2c/mktex.opt')
-rw-r--r-- | Master/texmf/web2c/mktex.opt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Master/texmf/web2c/mktex.opt b/Master/texmf/web2c/mktex.opt index 58854e3f17e..bd5d0fbcc8f 100644 --- a/Master/texmf/web2c/mktex.opt +++ b/Master/texmf/web2c/mktex.opt @@ -1,8 +1,8 @@ # mktex.opt -- common mktex* options, etc. # Meant to be sourced after $usage, $version, and $MT_TEXMFMAIN have been set. # -# te@dbs.uni-hannover.de and kb@mail.tug.org. Public domain. -# $Id: mktex.opt,v 1.36 2005/01/21 19:17:01 olaf Exp $ +# Originally written by Thomas Esser. Public domain. +# $Id: mktex.opt 18383 2010-05-20 18:31:24Z karl $ if test "x$1" = x--help || test "x$1" = x-help; then echo "$usage" |