From: wolf Date: Sat, 18 Dec 2004 21:01:19 +0000 (+0000) Subject: Don't do anything in directories that don't have html files in them. X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=4fafe3bb6d4d7206ee21001975ad9481e4a172fc;p=dealii-svn.git Don't do anything in directories that don't have html files in them. git-svn-id: https://svn.dealii.org/trunk@9842 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