From: guido Date: Fri, 5 Dec 2003 15:34:16 +0000 (+0000) Subject: Disable validate in auto X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=52001a3ee338a92f04e8625c4c99c1fb0a33f8f7;p=dealii-svn.git Disable validate in auto git-svn-id: https://svn.dealii.org/trunk@8242 0785d39b-7218-0410-832d-ea1e28bc413d --- diff --git a/deal.II/doc/Makefile.in b/deal.II/doc/Makefile.in index da3e8372b1..f0a90c4c77 100644 --- a/deal.II/doc/Makefile.in +++ b/deal.II/doc/Makefile.in @@ -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