File: doc_make_allow_warning

package info (click to toggle)
gap-ctbllib 1.3.11-1
  • links: PTS
  • area: main
  • in suites: forky, sid
  • size: 76,256 kB
  • sloc: xml: 41,608; makefile: 219; javascript: 155
file content (15 lines) | stat: -rw-r--r-- 518 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
 
Index: gap-ctbllib-1.3.11/makedocrel.g
===================================================================
--- gap-ctbllib-1.3.11.orig/makedocrel.g
+++ gap-ctbllib-1.3.11/makedocrel.g
@@ -536,10 +536,3 @@ Print(outputstring);
 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;
-