diff options
| author | Karl Berry <karl@freefriends.org> | 2019-11-15 21:56:28 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2019-11-15 21:56:28 +0000 |
| commit | b3b3c009eb9d68b17a6df7cc316cf79cb77d66d3 (patch) | |
| tree | 71114d48e0589149033cf8ced2e2ad2c47c9c1d6 | |
| parent | 437ce3c9b1dd4ea0335f399863352e638ba20d4a (diff) | |
use .exe symlinks on cygwin
git-svn-id: svn://tug.org/texlive/trunk@52812 c570f23f-e606-0410-a88d-b1316a301751
| l--------- | Master/bin/i386-cygwin/platex-dev | 2 | ||||
| l--------- | Master/bin/i386-cygwin/uplatex-dev | 2 | ||||
| l--------- | Master/bin/x86_64-cygwin/platex-dev | 2 | ||||
| l--------- | Master/bin/x86_64-cygwin/uplatex-dev | 2 |
4 files changed, 4 insertions, 4 deletions
diff --git a/Master/bin/i386-cygwin/platex-dev b/Master/bin/i386-cygwin/platex-dev index da5a0e6822f..53ca99f73eb 120000 --- a/Master/bin/i386-cygwin/platex-dev +++ b/Master/bin/i386-cygwin/platex-dev @@ -1 +1 @@ -eptex
\ No newline at end of file +eptex.exe
\ No newline at end of file diff --git a/Master/bin/i386-cygwin/uplatex-dev b/Master/bin/i386-cygwin/uplatex-dev index 7d58dd848c9..44a836c45ed 120000 --- a/Master/bin/i386-cygwin/uplatex-dev +++ b/Master/bin/i386-cygwin/uplatex-dev @@ -1 +1 @@ -euptex
\ No newline at end of file +euptex.exe
\ No newline at end of file diff --git a/Master/bin/x86_64-cygwin/platex-dev b/Master/bin/x86_64-cygwin/platex-dev index da5a0e6822f..53ca99f73eb 120000 --- a/Master/bin/x86_64-cygwin/platex-dev +++ b/Master/bin/x86_64-cygwin/platex-dev @@ -1 +1 @@ -eptex
\ No newline at end of file +eptex.exe
\ No newline at end of file diff --git a/Master/bin/x86_64-cygwin/uplatex-dev b/Master/bin/x86_64-cygwin/uplatex-dev index 7d58dd848c9..44a836c45ed 120000 --- a/Master/bin/x86_64-cygwin/uplatex-dev +++ b/Master/bin/x86_64-cygwin/uplatex-dev @@ -1 +1 @@ -euptex
\ No newline at end of file +euptex.exe
\ No newline at end of file |