summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xMaster/texmf/scripts/tetex/texdoctk.pl20
1 files changed, 16 insertions, 4 deletions
diff --git a/Master/texmf/scripts/tetex/texdoctk.pl b/Master/texmf/scripts/tetex/texdoctk.pl
index 58764ac6181..6f4673d3781 100755
--- a/Master/texmf/scripts/tetex/texdoctk.pl
+++ b/Master/texmf/scripts/tetex/texdoctk.pl
@@ -815,10 +815,22 @@ sub srchtd {
my ($string) = @_;
my @res;
my $idx = -1; # dummy index for @packname, @topic and @keywords
- $packname[-1][0] = "texdoc";
- $topic[-1][0] = "Find documentation in TeX Live";
- $doc[-1][0] = "texdoc/texdoc.pdf";
- return (-1, 0);
+ my $tdout = `texdoc -M -l $string`;
+ if ($?) {
+ &popmsg(0,"texdoc failed, sorry: $!\n".
+ "Please report this problem on the texlive mailing list.\n");
+ return;
+ } else {
+ my $i = 0;
+ for my $line (split /\n/, $tdout) {
+ my @fields = split /\t/, $line;
+ $doc[$idx][$i] = $fields[2];
+ $topic[$idx][$i] = basename($fields[2]);
+ $packname[$idx][$i] = "no package name";
+ push @res, ($idx, $i++);
+ }
+ return @res;
+ }
}
# search a string in @packname, @topic and @keywords