]> https://gitweb.dealii.org/ - dealii-svn.git/commitdiff
Disable validate in auto
authorguido <guido@0785d39b-7218-0410-832d-ea1e28bc413d>
Fri, 5 Dec 2003 15:34:16 +0000 (15:34 +0000)
committerguido <guido@0785d39b-7218-0410-832d-ea1e28bc413d>
Fri, 5 Dec 2003 15:34:16 +0000 (15:34 +0000)
git-svn-id: https://svn.dealii.org/trunk@8242 0785d39b-7218-0410-832d-ea1e28bc413d

deal.II/doc/Makefile.in

index da3e8372b11faf0dddce49aa35919e6c85da2300..f0a90c4c77b2ded6eb80a32a299c1124da020d32 100644 (file)
@@ -39,7 +39,7 @@ glossary:
 
 validate-xrefs:
        @echo "Validating cross-references in HTML files."
-       $(PERL) $D/doc/auto/scripts/validate-xrefs.pl *html
+#      $(PERL) $D/doc/auto/scripts/validate-xrefs.pl *html
        cd tutorial ; $(MAKE) validate-xrefs
        cd development ; $(MAKE) validate-xrefs
        cd glossary ; $(MAKE) validate-xrefs

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.