From 4fafe3bb6d4d7206ee21001975ad9481e4a172fc Mon Sep 17 00:00:00 2001 From: wolf Date: Sat, 18 Dec 2004 21:01:19 +0000 Subject: [PATCH] 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 --- deal.II/doc/reports/Makefile | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) 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 -- 2.39.5