From 4ad4bbb55632905c5b104f4d602d553a570fedfd Mon Sep 17 00:00:00 2001 From: bangerth Date: Thu, 24 Jan 2008 00:35:00 +0000 Subject: [PATCH] Remove .inst files when doing make distclean. git-svn-id: https://svn.dealii.org/trunk@15659 0785d39b-7218-0410-832d-ea1e28bc413d --- deal.II/Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/deal.II/Makefile b/deal.II/Makefile index 0d38181a81..f2968242d9 100644 --- a/deal.II/Makefile +++ b/deal.II/Makefile @@ -179,6 +179,7 @@ clean-common-scripts: distclean: clean cd lib && $(MAKE) distclean -cd tests && $(MAKE) distclean + -rm base/source/*.inst lac/source/*.inst deal.II/source/*/*.inst $(MAKE) clean-common-scripts -- 2.39.5