1
# $Id: Makefile.in 13426 2006-07-24 15:20:09Z bangerth $
3
###############################
7
include $D/common/Make.global_options
10
# default target. make sure validate-xrefs is only run after
11
# everything else (can't appear in the list of dependencies since
12
# would be run at the same time for parallel makes)
13
default: doxygen development
14
@$(MAKE) validate-xrefs
21
cd doxygen ; rm -f *.tag ; $(MAKE)
24
cd development ; $(MAKE)
31
@echo "Validating cross-references in HTML files."
32
$(PERL) $D/common/scripts/validate-xrefs.pl *html
33
cd doxygen ; $(MAKE) validate-xrefs
34
cd development ; $(MAKE) validate-xrefs
35
cd publications ; $(MAKE) validate-xrefs
36
cd news ; $(MAKE) validate-xrefs
37
cd reports ; $(MAKE) validate-xrefs
41
cd doxygen ; $(MAKE) clean
42
cd development ; $(MAKE) clean
43
cd glossary ; $(MAKE) clean
46
.PHONY: default doxygen all autogen-doc autogen-doc-all clean development validate-xrefs glossary