diff options
Diffstat (limited to 'Master/texmf/web2c/mktexdir.opt')
-rw-r--r-- | Master/texmf/web2c/mktexdir.opt | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/Master/texmf/web2c/mktexdir.opt b/Master/texmf/web2c/mktexdir.opt deleted file mode 100644 index 4d4345dcdf7..00000000000 --- a/Master/texmf/web2c/mktexdir.opt +++ /dev/null @@ -1,11 +0,0 @@ -# mktexdir.opt to determine various manipulations of the filenames. -# Sourced from mktexdir. -# -# Originally written by Thomas Esser. -# Public domain. -# $Id: mktexdir.opt 16497 2009-12-24 18:38:47Z karl $ - -# Set append-only bit on created directories. -case "$MT_FEATURES" in - *appendonlydir*) MT_APPEND_MASK=+t;; -esac |