summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRafael Laboissiere <rafael@debian.org>2023-09-16 16:40:28 -0300
committerRafael Laboissière <rafael@debian.org>2023-09-16 16:40:28 -0300
commit276e5ab19cb688648561672a943aec41cde62f87 (patch)
tree2efdd20177874c1aa657d9b52e31831935e27b52
parent4f3dcbcc157c80363d7572fdd6aaa7bf4cba1048 (diff)
Use the correct path for the info file
Forwarded: not-needed Last-Update: 2023-09-16 This is a Debian-specific patch. Gbp-Pq: Name info-path.patch
-rw-r--r--inst/parallel_doc.m22
1 files changed, 1 insertions, 21 deletions
diff --git a/inst/parallel_doc.m b/inst/parallel_doc.m
index 06496b8..7d4717e 100644
--- a/inst/parallel_doc.m
+++ b/inst/parallel_doc.m
@@ -34,27 +34,7 @@ function parallel_doc (keyword)
## locate installed documentation
persistent infopath = "";
if (isempty (infopath))
- [local_list, global_list] = pkg ("list");
- if (! isempty (local_list)
- && ! isempty (idx = ...
- find (strcmp ("parallel",
- {structcat(1, local_list{:}).name}),
- 1)))
- idir = local_list{idx}.dir;
- elseif (! isempty (global_list)
- && ! isempty (idx = ...
- find (strcmp ("parallel",
- {structcat(1, global_list{:}).name}),
- 1)))
- idir = global_list{idx}.dir;
- else
- error ("no installed parallel package found");
- endif
- infopath = fullfile (idir, "doc/", "parallel.info");
- ## allow for .gz
- if (! exist (infopath, "file"))
- infopath = strcat (infopath, ".gz");
- endif
+ infopath = "/usr/share/info/parallel.info.gz";
endif
## display info