From d63dee24c817560a6fea49dfe0c851b4df25ecf7 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Mon, 16 Mar 2009 13:41:49 +0000
Subject: coqdep_boot: a specialized and dependency-free coqdep for killing one
 of the build stages

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11984 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 Makefile.stage3 | 21 ---------------------
 1 file changed, 21 deletions(-)
 delete mode 100644 Makefile.stage3

(limited to 'Makefile.stage3')

diff --git a/Makefile.stage3 b/Makefile.stage3
deleted file mode 100644
index 1bd336d247..0000000000
--- a/Makefile.stage3
+++ /dev/null
@@ -1,21 +0,0 @@
-#######################################################################
-#  v      #   The Coq Proof Assistant  /  The Coq Development Team    #
-# <O___,, #        INRIA-Rocquencourt  &  LRI-CNRS-Orsay              #
-#   \VV/  #############################################################
-#    //   #      This file is distributed under the terms of the      #
-#         #       GNU Lesser General Public License Version 2.1       #
-#######################################################################
-
-include Makefile.stage2
-include Makefile.doc
-
--include $(VFILES:.v=.v.d)
-.SECONDARY: $(VFILES:.v=.v.d)
-
-.PHONY: stage3
-stage3: world
-
-# For emacs: 
-# Local Variables: 
-# mode: makefile 
-# End:
-- 
cgit v1.2.3