From: wolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Date: Sat, 18 Dec 2004 21:01:35 +0000 (+0000)
Subject: .
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c7a3fcda30d3cd6564a413040bf9dbafbe21c42a;p=dealii-svn.git

.


git-svn-id: https://svn.dealii.org/branches/Branch-5-1@9843 0785d39b-7218-0410-832d-ea1e28bc413d
---

diff --git a/deal.II/doc/reports/Makefile b/deal.II/doc/reports/Makefile
index 70c5da1795..87ba1d8d0e 100644
--- a/deal.II/doc/reports/Makefile
+++ b/deal.II/doc/reports/Makefile
@@ -8,8 +8,10 @@ validate-xrefs:
 	for dir in * ; do \
 	  if test -d $$dir -a ! $$dir = CVS ; then \
 	    cd $$dir ; \
-	    echo "Checking `pwd`" ; \
-	    $(PERL) $D/common/scripts/validate-xrefs.pl *html ; \
+	    if (ls -l | grep html > /dev/null) ; then \
+	      echo "Checking `pwd`" ; \
+	      $(PERL) $D/common/scripts/validate-xrefs.pl *html ; \
+            fi ; \
 	    cd .. ; \
 	  fi ; \
 	done