]> https://gitweb.dealii.org/ - dealii-svn.git/commitdiff
.
authorwolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Sat, 18 Dec 2004 21:01:35 +0000 (21:01 +0000)
committerwolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Sat, 18 Dec 2004 21:01:35 +0000 (21:01 +0000)
git-svn-id: https://svn.dealii.org/branches/Branch-5-1@9843 0785d39b-7218-0410-832d-ea1e28bc413d

deal.II/doc/reports/Makefile

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

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.