diff options
author | Karl Berry <karl@freefriends.org> | 2014-05-09 00:33:41 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2014-05-09 00:33:41 +0000 |
commit | 03e24a3c99e6763967e156890e12d9d67efd9aae (patch) | |
tree | de4e4632c35caf514df90aa55fc5ef34b85bf63b /Master/texmf-dist | |
parent | b6945e2593afd545b346cd3289d871564f981131 (diff) |
pdfcsplain executable link -> pdftex
git-svn-id: svn://tug.org/texlive/trunk@33925 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist')
-rwxr-xr-x | Master/texmf-dist/scripts/texlive/texlinks.sh | 22 |
1 files changed, 13 insertions, 9 deletions
diff --git a/Master/texmf-dist/scripts/texlive/texlinks.sh b/Master/texmf-dist/scripts/texlive/texlinks.sh index ee1be108ff2..028b50be9c4 100755 --- a/Master/texmf-dist/scripts/texlive/texlinks.sh +++ b/Master/texmf-dist/scripts/texlive/texlinks.sh @@ -1,5 +1,5 @@ #!/bin/sh -# $Id: texlinks.sh 29349 2013-03-12 00:01:41Z karl $ +# $Id: texlinks.sh 33924 2014-05-09 00:31:04Z karl $ # Thomas Esser, 1999, 2002, 2003. public domain. @@ -39,7 +39,7 @@ export PATH # hack around a bug in zsh: test -n "${ZSH_VERSION+set}" && alias -g '${1+"$@"}'='"$@"' -version='$Id: texlinks.sh 29349 2013-03-12 00:01:41Z karl $' +version='$Id: texlinks.sh 33924 2014-05-09 00:31:04Z karl $' progname=texlinks cnf=fmtutil.cnf # name of the config file @@ -167,14 +167,18 @@ install_link() rm -f "$src" if test -f "$src"; then - case $silent in - true) - ;; - *) - errmsg "install_link $src -> $dest failed: file already exists." - ;; - esac + if $silent; then :; else + # i.e., the rm failed. + errmsg "install_link $src -> $dest failed: file already exists." + fi else + if echo "$src" | grep '/pdfcsplain$' >/dev/null; then + # at p.olsak insistence: we have three pdfcsplain entries in + # fmtutil.cnf with different engines, but the executable link + # must point to pdftex. + verbose_echo "forcing pdfcsplain destination to be pdftex" + dest=pdftex + fi verbose_do ln -s "$dest" "$src" fi ;; |