From c7a3fcda30d3cd6564a413040bf9dbafbe21c42a Mon Sep 17 00:00:00 2001 From: wolf Date: Sat, 18 Dec 2004 21:01:35 +0000 Subject: [PATCH] . git-svn-id: https://svn.dealii.org/branches/Branch-5-1@9843 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