Fix wrong output.

git-svn-id: https://svn.dealii.org/trunk@3091 0785d39b-7218-0410-832d-ea1e28bc413d

diff --git a/deal.II/doc/auto/scripts/validate-xrefs.pl b/deal.II/doc/auto/scripts/validate-xrefs.pl
index 9c0c1c3d9abd932202eaa80772299ce0a7c55217..256feb8b7d79589f48626560b3893d37679a0594 100644 (file)
--- a/deal.II/doc/auto/scripts/validate-xrefs.pl
+++ b/deal.II/doc/auto/scripts/validate-xrefs.pl
@@ -68,7 +68,7 @@ foreach $filename (@ARGV) {
                    }
                }
                
-               die "---External reference `$internal_ref' not found in file $filename\n"
+               die "---External reference `$external_file#$external_ref' not found in file $filename\n"
                    unless $found;
                next;
            }