From: bangerth Date: Thu, 24 Jan 2008 00:35:00 +0000 (+0000) Subject: Remove .inst files when doing make distclean. X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=4ad4bbb55632905c5b104f4d602d553a570fedfd;p=dealii-svn.git Remove .inst files when doing make distclean. git-svn-id: https://svn.dealii.org/trunk@15659 0785d39b-7218-0410-832d-ea1e28bc413d --- 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