Test for unresolved references when compiling the manual

gap-system · May 18, 2021 · 7f44c98 · 7f44c98
1 parent a1d1085
commit 7f44c98
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/release-gap-package b/release-gap-package
@@ -268,11 +268,14 @@ esac
 if [ -f makedoc.g ] ; then
     notice "Building GAP package documentation (using makedoc.g)"
     run_gap <<GAPInput
+LogTo("makedoc.log");
 if not IsPackageMarkedForLoading("$PKG", "") then
   SetPackagePath("$PKG", ".");
 fi;
 Read("makedoc.g");
 GAPInput
+    ! grep -E "WARNING: non resolved reference" makedoc.log
+    rm -f makedoc.log
 elif [ -f doc/make_doc ] ; then
     notice "Building GAP package documentation (using doc/make_doc)"
     cd doc && ./make_doc && cd ..