]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Fix wrong output.
authorWolfgang Bangerth <bangerth@math.tamu.edu>
Tue, 27 Jun 2000 13:32:56 +0000 (13:32 +0000)
committerWolfgang Bangerth <bangerth@math.tamu.edu>
Tue, 27 Jun 2000 13:32:56 +0000 (13:32 +0000)
git-svn-id: https://svn.dealii.org/trunk@3091 0785d39b-7218-0410-832d-ea1e28bc413d

deal.II/doc/auto/scripts/validate-xrefs.pl

index 9c0c1c3d9abd932202eaa80772299ce0a7c55217..256feb8b7d79589f48626560b3893d37679a0594 100644 (file)
@@ -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;
            }

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.