Add reports directory to validate-xrefs.

git-svn-id: https://svn.dealii.org/trunk@3280 0785d39b-7218-0410-832d-ea1e28bc413d

diff --git a/deal.II/doc/Makefile.in b/deal.II/doc/Makefile.in
index 68bda83fd8bf207e68c846b0fb0525700c2e564f..f072bdbd1985812c5ef4242654d03b90dd515b5f 100644 (file)
--- a/deal.II/doc/Makefile.in
+++ b/deal.II/doc/Makefile.in
@@ -42,6 +42,7 @@ validate-xrefs:
        cd glossary ; $(MAKE) validate-xrefs
        cd publications ; $(MAKE) validate-xrefs
        cd news ; $(MAKE) validate-xrefs
+       cd reports ; $(MAKE) validate-xrefs
 
 
 # generate a class index from each of the various include directories