From 91d60298aaeee6cd8755c539edc89cc238a75f4d Mon Sep 17 00:00:00 2001 From: kanschat Date: Thu, 11 Nov 2010 21:23:25 +0000 Subject: [PATCH] ...and remove deleted dependency git-svn-id: https://svn.dealii.org/trunk@22697 0785d39b-7218-0410-832d-ea1e28bc413d --- deal.II/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/deal.II/Makefile b/deal.II/Makefile index 8150aa0ce9..842e0ed08d 100644 --- a/deal.II/Makefile +++ b/deal.II/Makefile @@ -40,7 +40,7 @@ debug: deps contrib optimized: deps contrib @cd source && $(MAKE) optimized -contrib: contrib-functionparser +contrib: cd contrib && $(MAKE) online-doc doc: -- 2.39.5