diff options
author | Akira Kakuto <kakuto@fuk.kindai.ac.jp> | 2018-03-03 20:25:56 +0000 |
---|---|---|
committer | Akira Kakuto <kakuto@fuk.kindai.ac.jp> | 2018-03-03 20:25:56 +0000 |
commit | 7a19b4ca771441e6c2c21d168aeb4670c82164bc (patch) | |
tree | d24534d7c64cc4c8b839226d1a8537d4424438b5 /Master/bin/win32/pdfddeservername.txt | |
parent | 4c0badfae7ff1c4ff8e0bb9845caf337e8fb81d6 (diff) |
toward tl18 pretest (w32)
git-svn-id: svn://tug.org/texlive/trunk@46800 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/bin/win32/pdfddeservername.txt')
-rw-r--r-- | Master/bin/win32/pdfddeservername.txt | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/Master/bin/win32/pdfddeservername.txt b/Master/bin/win32/pdfddeservername.txt new file mode 100644 index 00000000000..c57dd2fbc5c --- /dev/null +++ b/Master/bin/win32/pdfddeservername.txt @@ -0,0 +1,24 @@ +AcroViewR18 +#AcroViewA18 +#AcroViewR17 +#AcroViewA17 +#AcroViewR15 +#AcroViewA15 +#AcroViewR11 +#AcroViewA11 +#AcroViewR10 +#AcroViewA10 +#AcroView +# +# Only the first line without a beginning comment character # +# in this file is used to specify the server name. +# The default server name is AcroViewR18. +# If the line is 'unknown', the name is not read from this file. +# In this case, various old server names are tried automatically. +# However, if the saver name is newer than AcroViewR15, or +# AcroViewA15, such as AcroViewR17, or AcroViewA17, explicit server +# name should be given. +# Examples of names are listed above. You can use a suitable one above +# by removing the first comment character #. +# This file is effective only if it is in the same directory as that +# for the pdfdde.exe. |