From: bangerth Date: Mon, 24 Jul 2006 15:21:17 +0000 (+0000) Subject: Remove now unneeded directory X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=5a7e9a3f6f0d035d7022c5e431945180f286c6fb;p=dealii-svn.git Remove now unneeded directory git-svn-id: https://svn.dealii.org/trunk@13427 0785d39b-7218-0410-832d-ea1e28bc413d --- 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