diff options
| -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/* |