diff scripts/help/doc.m @ 9289:eaf4e71e90e8

In test, look also for the gzipped version of the info_file The info program accepts .info files that are compressed with gzip. Consider also the info_file with the suffix ".gz" when doing the test.
author Rafael Laboissiere <rafael@debian.org>
date Tue, 02 Jun 2009 23:15:56 +0200
parents c0cef1436788
children f22bbc5d56e9
line wrap: on
line diff
--- a/scripts/help/doc.m
+++ b/scripts/help/doc.m
@@ -106,6 +106,6 @@
 
 endfunction
 
-%!test if exist( info_file ()) != 2
-%!       error ("Info file %s does not exist!", info_file ());
+%!test if exist( info_file ()) != 2 && exist (sprintf ("%s.gz", info_file ())) != 2
+%!       error ("Info file %s or %s.gz does not exist!", info_file (), info_file ());
 %!     endif