From 99e09ad1f88a28c2135a57f2ab23b44f2acac83c Mon Sep 17 00:00:00 2001
From: Andreas Meyer <ameyer@mpi-inf.mpg.de>
Date: Wed, 31 Jan 2007 13:46:36 +0000
Subject: [PATCH] suppress "undefined reference warnings" for html/package mode
 (now, ps/pdf/html behave the same)

---
 Manual/developer_scripts/cgal_manual | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/Manual/developer_scripts/cgal_manual b/Manual/developer_scripts/cgal_manual
index cf6d3d082cc..15569103729 100755
--- a/Manual/developer_scripts/cgal_manual
+++ b/Manual/developer_scripts/cgal_manual
@@ -1131,8 +1131,13 @@ run_html() {
         return $RetCode
     fi
     if [ $RetCode -eq 0 ] ; then
-        if grep -v 'lines written' $1.hlg | \
-            grep -i warn > /dev/null ; then RetCode=2; fi
+        if [ $MakePackage -eq 0 ]; then
+            if grep -v 'lines written' $1.hlg | grep -i warn > /dev/null ; then RetCode=2; fi
+        else # for CGAL Packages, also ignore warnings of undef. references
+            if grep -v 'lines written' $1.hlg | egrep -v "[!][!] Warning: undefined label" | \
+               grep -i warn > /dev/null ;
+            then RetCode=2; fi
+        fi
     fi
     report_html $1
     cleanup_html $1