diff options
Diffstat (limited to 'Build/source/texk/kpathsea/mktexdir.opt')
-rw-r--r-- | Build/source/texk/kpathsea/mktexdir.opt | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/Build/source/texk/kpathsea/mktexdir.opt b/Build/source/texk/kpathsea/mktexdir.opt deleted file mode 100644 index 1420faa62d6..00000000000 --- a/Build/source/texk/kpathsea/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$ - -# Set append-only bit on created directories. -case "$MT_FEATURES" in - *appendonlydir*) MT_APPEND_MASK=+t;; -esac |