Check manual examples for all chapters even if one fails

Closes #1138

etc/ci.sh

@@ -57,7 +57,14 @@ popd
 COVDIR=coverage
 mkdir -p $COVDIR
 
-
+TestManualChapter () {
+        if ! bin/gap.sh -q -L testmanuals.wsp --cover $COVDIR/$(basename $1).coverage \
+        <(echo "TestManualChapter(\"$1\"); QUIT_GAP(0);")
+        then
+            TESTMANUALSPASS=no
+        fi
+}
+
 case ${TEST_SUITE} in
 testmanuals)
     bin/gap.sh -q tst/extractmanuals.g
@@ -69,14 +76,17 @@ testmanuals)
         QUIT_GAP(0);
 GAPInput
 
+    TESTMANUALSPASS=yes
     for ch in tst/testmanuals/*.tst
     do
-        bin/gap.sh -q -L testmanuals.wsp --cover $COVDIR/$(basename $ch).coverage <<GAPInput
-        TestManualChapter("$ch");
-        QUIT_GAP(0);
-GAPInput
+        TestManualChapter $ch
     done
 
+    if [[ $TESTMANUALSPASS = no ]]
+    then
+        exit 1
+    fi
+
     # while we are at it, also test the workspace code
     bin/gap.sh -q --cover $COVDIR/workspace.coverage <<GAPInput
         SetUserPreference("ReproducibleBehaviour", true);