From: wolf 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