--- doc/help/rebuildLabelHash.pl	2008/07/24 21:51:38	1.11
+++ doc/help/rebuildLabelHash.pl	2011/01/06 18:11:42	1.12
@@ -105,7 +105,10 @@ foreach my $file ( glob("*.tex") ) {
 	if (!exists($fragmentLabels{$ref})
 	    && $ref ne 'course.manual.access.hlp'
 	    && $ref ne 'author.manual.access.hlp'
-            && $ref ne 'domain.manual.access.hlp') {
+            && $ref ne 'domain.manual.access.hlp'
+            && $ref ne 'course.manual.pdf'
+            && $ref ne 'author.manual.pdf'
+            && $ref ne 'domain.manual.pdf') {
 	    $error++;
 	    print("***ERROR: ref $ref in $file doesn't exist in label hash. \n");
 	} else {