update

stertooy · Dec 18, 2024 · fa42b02 · fa42b02
1 parent 71f7343
commit fa42b02
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/makedoc.g b/makedoc.g
@@ -47,7 +47,7 @@ if IsReadableFile( tstFile ) then
     correct := Test( tstFile, rec( compareFunction := "uptowhitespace" ) );
     RemoveFile( tstFile );
     if correct then
-        Info( InfoGAPDoc, 1, "#I All examples correct.\n" );
+        Info( InfoGAPDoc, 1, "#I All examples are correct.\n" );
     else
         Info( InfoGAPDoc, 1, "#I One or more examples are incorrect.\n" );
         ForceQuitGap( 1 );