diff options
Diffstat (limited to 'Build/source/texk/kpathsea')
-rwxr-xr-x | Build/source/texk/kpathsea/mktexlsr | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/texk/kpathsea/mktexlsr b/Build/source/texk/kpathsea/mktexlsr index bc2affca10c..5546321f271 100755 --- a/Build/source/texk/kpathsea/mktexlsr +++ b/Build/source/texk/kpathsea/mktexlsr @@ -148,8 +148,8 @@ for TEXMFLS_R in "$@"; do echo "./:" >>"$db_file_tmp" vc_dirs='\.\(bzr\|git\|hg\|svn\)\|CVS\|RCS\|_darcs' (cd "$TEXMFLS_R" && \ls -LRa 2>/dev/null) \ - | sed -e '/^$/{n;s%^\./%%;s%^%./%;}; /^\.$/d; /^\.\.$/d; /^\.svn$/d;' \ - -e '/^[\.\/]*lsR[0-9]*\.tmp:*$/d' \ + | sed -e '/^$/{n;s%^\./%%;s%^%./%;}; /^\.$/d; /^\.\.$/d; /^'$vc_dirs'$/d;' \ + -e '/^[\.\/]*lsR[0-9]*\.tmp:*$/d' \ | sed -e /$vc_dirs'.*:$/,/^$/d' \ >>"$db_file_tmp" |