diff options
| author | Kyle Guinn <elyk03@gmail.com> | 2014-01-12 01:41:59 -0600 |
|---|---|---|
| committer | Robby Workman <rworkman@slackbuilds.org> | 2014-01-31 00:54:26 -0600 |
| commit | c0538d8c0870848d589fb99f12e29dc50be2937e (patch) | |
| tree | 75963f4225a58cebf4a8c3c51833197a6d1e0c14 /academic/octave/patches/compressed-info.diff | |
| parent | 773aa2de139f2f1ee8b12f2e5836a39d63e5392e (diff) | |
academic/octave: Updated for version 3.8.0.
Signed-off-by: Robby Workman <rworkman@slackbuilds.org>
Diffstat (limited to 'academic/octave/patches/compressed-info.diff')
| -rw-r--r-- | academic/octave/patches/compressed-info.diff | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/academic/octave/patches/compressed-info.diff b/academic/octave/patches/compressed-info.diff new file mode 100644 index 0000000000..48178d773f --- /dev/null +++ b/academic/octave/patches/compressed-info.diff @@ -0,0 +1,13 @@ +diff --git a/scripts/help/doc.m b/scripts/help/doc.m +--- a/scripts/help/doc.m ++++ b/scripts/help/doc.m +@@ -80,7 +80,8 @@ + if (err < 0) + info_file_name = info_file (); + +- if (! exist (info_file_name, "file")) ++ if (! exist (info_file_name, "file") ++ && ! exist ([info_file_name ".gz"], "file")) + __gripe_missing_component__ ("doc", "info-file"); + endif + endif |