summaryrefslogtreecommitdiff
path: root/Master
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2009-10-09 21:42:11 +0000
committerKarl Berry <karl@freefriends.org>2009-10-09 21:42:11 +0000
commit0315bf29f8aa581066a03968af888abdaddf6a13 (patch)
tree5132f07f17dacaa675e97f299267189ee8c42997 /Master
parentc66df780ebcf75dc6ea46dd7ea78488e5d0c0f07 (diff)
shortcut to texdoctk.exe, not the
no-longer-existing .bat. git-svn-id: svn://tug.org/texlive/trunk@15722 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master')
-rw-r--r--Master/tlpkg/tlpsrc/texdoc.tlpsrc3
1 files changed, 2 insertions, 1 deletions
diff --git a/Master/tlpkg/tlpsrc/texdoc.tlpsrc b/Master/tlpkg/tlpsrc/texdoc.tlpsrc
index 0998beffe4a..21a859da840 100644
--- a/Master/tlpkg/tlpsrc/texdoc.tlpsrc
+++ b/Master/tlpkg/tlpsrc/texdoc.tlpsrc
@@ -1,6 +1,7 @@
category TLCore
depend kpathsea
-postaction shortcut type=menu name="TeXdoc GUI" cmd="TEXDIR/bin/win32/texdoctk.bat" hide=1
+postaction shortcut type=menu name="TeXdoc GUI" \
+ cmd="TEXDIR/bin/win32/texdoctk.exe" hide=1
runpattern f texmf/scripts/tetex/texdoctk.pl
runpattern f texmf/scripts/texdoc/*
runpattern f texmf/texdoctk/*