From 0b7866431d0673b19a5cc038da9c80d8b1fca8fa Mon Sep 17 00:00:00 2001 From: wolf Date: Mon, 8 Jan 2001 08:50:18 +0000 Subject: [PATCH] Update from main branch. git-svn-id: https://svn.dealii.org/branches/Branch-3-1@3605 0785d39b-7218-0410-832d-ea1e28bc413d --- deal.II/doc/news/Makefile | 3 +++ 1 file changed, 3 insertions(+) diff --git a/deal.II/doc/news/Makefile b/deal.II/doc/news/Makefile index 6cef667265..d67a473fec 100644 --- a/deal.II/doc/news/Makefile +++ b/deal.II/doc/news/Makefile @@ -7,6 +7,9 @@ include $D/common/Make.global_options validate-xrefs: $(PERL) $D/doc/auto/scripts/validate-xrefs.pl *.html + for dir in 200* ; do cd $$dir ; $(MAKE) validate-xrefs ; cd .. ; done .PHONY: validate-xrefs + + -- 2.39.5