diff scripts/help/doc.m @ 19497:e433efa383e4

doc.m: Add support for info files in bzip format (bug #43526). * doc.m: If info file does not exist, try finding it with .bz2 extension
author Rik <rik@octave.org>
date Tue, 04 Nov 2014 20:18:15 -0800
parents 7bbe3658c5ef
children 0e1f5a750d00
line wrap: on
line diff
--- a/scripts/help/doc.m
+++ b/scripts/help/doc.m
@@ -81,7 +81,8 @@
         info_file_name = info_file ();
 
         if (! exist (info_file_name, "file")
-            && ! exist ([info_file_name ".gz"], "file"))
+            && ! exist ([info_file_name ".gz"], "file")
+            && ! exist ([info_file_name ".bz2"], "file"))
           __gripe_missing_component__ ("doc", "info-file");
         endif
       endif