diff options
author | Karl Berry <karl@freefriends.org> | 2009-10-09 21:42:11 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2009-10-09 21:42:11 +0000 |
commit | 0315bf29f8aa581066a03968af888abdaddf6a13 (patch) | |
tree | 5132f07f17dacaa675e97f299267189ee8c42997 | |
parent | c66df780ebcf75dc6ea46dd7ea78488e5d0c0f07 (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
-rw-r--r-- | Master/tlpkg/tlpsrc/texdoc.tlpsrc | 3 |
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/* |