diff options
Diffstat (limited to 'Master')
-rwxr-xr-x | Master/texmf/scripts/tetex/texdoctk.pl | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/Master/texmf/scripts/tetex/texdoctk.pl b/Master/texmf/scripts/tetex/texdoctk.pl index 6f4673d3781..595ec4315d6 100755 --- a/Master/texmf/scripts/tetex/texdoctk.pl +++ b/Master/texmf/scripts/tetex/texdoctk.pl @@ -802,8 +802,13 @@ sub srchstr { destroy $srchentry; $srchflag=0; if (scalar @reslist == 0) { - &popmsg(0,"Search for $string: no matches found.\n". - "Try `texdoc $string' in a command line.",$cmdframe); + &popmsg(0, ($srchtype == 0 ? 'Database' : 'File'). + " search for $string: no matches found.\n". + "You may want to try a ". + ($srchtype == 0 ? 'File' : 'Databse') . " search.\n\n". + "If nothing else works, CTAN offers an online search form:\n". + "http://ctan.org/search.html\n", + $cmdframe); } else { &tpslct(-1, $string, @reslist); } |