# $Id: Makefile 13368 2006-07-13 12:18:51Z bangerth $

# include paths and global variables
include ../../common/Make.global_options

# check xrefs in all subdirs
validate-xrefs:
	@for dir in * ; do \
	  if test -d $$dir ; then \
	    cd $$dir ; \
	    if (ls -l | grep html > /dev/null) ; then \
	      echo "Checking `pwd`" ; \
	      $(PERL) $D/common/scripts/validate-xrefs.pl *html ; \
            fi ; \
	    cd .. ; \
	  fi ; \
	done
