# HG changeset patch # User Thorsten Meyer # Date 1232569349 -3600 # Node ID 4385200116219238c6512651338f058b177ae75a # Parent ab82e19002c4f7127e805fcc7eb62006bc331259 Check for successful build of the documentation diff --git a/scripts/ChangeLog b/scripts/ChangeLog --- a/scripts/ChangeLog +++ b/scripts/ChangeLog @@ -1,3 +1,7 @@ +2009-01-18 Thorsten Meyer + + * miscellaneous/doc.m: Add test for existence of info file. + 2009-01-21 John W. Eaton * plot/__axis_label__.m: Set properties in existing axis label diff --git a/scripts/miscellaneous/doc.m b/scripts/miscellaneous/doc.m --- a/scripts/miscellaneous/doc.m +++ b/scripts/miscellaneous/doc.m @@ -107,3 +107,7 @@ endif endfunction + +%!test if exist( info_file ()) != 2 +%! error ("Info file %s does not exist!", info_file ()); +%! endif