diff options
author | Rafael Laboissiere <rafael@debian.org> | 2023-09-16 16:40:28 -0300 |
---|---|---|
committer | Rafael Laboissière <rafael@debian.org> | 2023-09-16 16:40:28 -0300 |
commit | 276e5ab19cb688648561672a943aec41cde62f87 (patch) | |
tree | 2efdd20177874c1aa657d9b52e31831935e27b52 | |
parent | 4f3dcbcc157c80363d7572fdd6aaa7bf4cba1048 (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.m | 22 |
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 |