From 5a7e9a3f6f0d035d7022c5e431945180f286c6fb Mon Sep 17 00:00:00 2001 From: bangerth Date: Mon, 24 Jul 2006 15:21:17 +0000 Subject: [PATCH] Remove now unneeded directory git-svn-id: https://svn.dealii.org/trunk@13427 0785d39b-7218-0410-832d-ea1e28bc413d --- deal.II/doc/tutorial/Makefile | 13 ------------- 1 file changed, 13 deletions(-) delete mode 100644 deal.II/doc/tutorial/Makefile diff --git a/deal.II/doc/tutorial/Makefile b/deal.II/doc/tutorial/Makefile deleted file mode 100644 index 71a62e9b19..0000000000 --- a/deal.II/doc/tutorial/Makefile +++ /dev/null @@ -1,13 +0,0 @@ -# $Id$ - -step-by-step: - cd chapter-2.step-by-step ; $(MAKE) - -validate-xrefs: - cd chapter-2.step-by-step ; $(MAKE) validate-xrefs - -clean: - cd chapter-2.step-by-step ; $(MAKE) clean - - -.PHONY: step-by-step clean validate-xrefs -- 2.39.5