File: doc_make_allow_warning

package info (click to toggle)
gap 4.14.0-3
  • links: PTS
  • area: main
  • in suites: trixie
  • size: 109,836 kB
  • sloc: ansic: 97,167; xml: 48,195; cpp: 13,955; sh: 4,438; perl: 1,652; javascript: 255; makefile: 252; ruby: 9
file content (16 lines) | stat: -rw-r--r-- 503 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
 
Index: gap-4.14.0/doc/make_doc.in
===================================================================
--- gap-4.14.0.orig/doc/make_doc.in
+++ gap-4.14.0/doc/make_doc.in
@@ -83,10 +83,5 @@ od;
 outputstring:= ReplacedString(outputstring, "\c", "");;
 errors:= Filtered(SplitString(outputstring, "\n"),
            x -> StartsWith(x, "#W ") and x <> "#W There are overfull boxes:");;
-if Length(errors) = 0 then
-  QuitGap(true);
-else
-  Print(errors, "\n");
-  QuitGap(false);
-fi;
+QuitGap(true);
 EOF