.

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 70c5da1795c4ade60e62e2b9ade6bca09897f217..87ba1d8d0eacecf18c499462ec47bcd106e80187 100644 (file)
--- 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