]> https://gitweb.dealii.org/ - dealii-svn.git/commitdiff
Doxygen now uses
authorbangerth <bangerth@0785d39b-7218-0410-832d-ea1e28bc413d>
Wed, 2 Jun 2010 14:53:06 +0000 (14:53 +0000)
committerbangerth <bangerth@0785d39b-7218-0410-832d-ea1e28bc413d>
Wed, 2 Jun 2010 14:53:06 +0000 (14:53 +0000)
  <a class="anchor" id="tag">
instead of
  <a name="tag">
for anchors. Recognize these as well.

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

deal.II/common/scripts/validate-xrefs.pl

index 56659a93122cf3301d46e91180cc71263f8cee74..8b66c9704d0e2e6d64c006b1245bf6817e5ba42b 100644 (file)
@@ -58,8 +58,8 @@ foreach $filename (@ARGV)
                open IN2, $filename;
                $found = 0;
                while ( <IN2> ) {
-                   while ( /<a[^>]* name=\"?(.*?)[\s\"]/gi ) {
-                       if ( $1 eq $internal_ref) {
+                   while ( /<a[^>]* (name=|class=\"anchor\" id=)\"?(.*?)[\s\"]/gi ) {
+                       if ( $2 eq $internal_ref) {
                            print "                    found.\n" if $debug;
                            $found = 1;
                            last;
@@ -87,8 +87,8 @@ foreach $filename (@ARGV)
                open IN2, $external_file;
                $found = 0;
                while ( <IN2> ) {
-                   while ( /<a[^>]* name=\"?(.*?)[\s\"]/gi ) {
-                       if ( $1 eq $external_ref) {
+                   while ( /<a[^>]* (name=|class=\"anchor\" id=)\"?(.*?)[\s\"]/gi ) {
+                       if ( $2 eq $external_ref) {
                            print "                    found.\n" if $debug;
                            $found = 1;
                            last;

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.