From e24d8149c3aefd11b03458b6f9b3e38ca454b07a Mon Sep 17 00:00:00 2001
From: herbelin
Date: Tue, 23 May 2006 21:51:59 +0000
Subject: Restructuration dossier dev et mise à jour de certaines
 documentations

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

(limited to 'dev/Makefile.common')

diff --git a/dev/Makefile.common b/dev/Makefile.common
deleted file mode 100644
index 1ff5cf799e..0000000000
--- a/dev/Makefile.common
+++ /dev/null
@@ -1,52 +0,0 @@
-# this Makefile contains goals common for directory and main devel makefiles
-
-ifndef TOPDIR
-TOPDIR=..
-endif
-
-ifndef BASEDIR
-BASEDIR=
-endif
-
-# the following entries are used to make synchronize two source trees
-# (on big computer and on a laptop for example)
-
-OTHER_FILE=$(TOPDIR)/dev/other
-OTHER=$(shell cat $(OTHER_FILE))
-
-# this is a directory of useful temporary things
-WORKDIR=tmp
-
-ifneq (,$(findstring n,$(MAKEFLAGS)))
-NFLAG=-n
-else
-NFLAG=
-endif
-
-check_other:
-	+@(if [ "$(OTHER)" = "" ] ; then \
-	  echo You must put the ssh path to the other Coq source in $(OTHER_FILE) ; \
-	  echo For example: chrzaszc@ruta:coq/V7 ; \
-	  exit 1; \
-	fi)
-
-get:	check_other
-	+rsync -Cauvz $(NFLAG) $(OTHER)/ $(TOPDIR)/
-	+@(if [ -d $(TOPDIR)/$(WORKDIR) ]; then \
-	  rsync -auvz $(NFLAG) $(OTHER)/tmp/ $(TOPDIR)/tmp/ ; \
-	fi)
-
-put:	check_other
-	+rsync -Cauvz $(NFLAG) $(TOPDIR)/ $(OTHER)/
-	+@(if [ -d $(TOPDIR)/$(WORKDIR) ]; then \
-	  rsync -auvz $(NFLAG) $(TOPDIR)/tmp/ $(OTHER)/tmp/ ; \
-	fi)
-
-sync:	get put
-
-
-conflicts:
-	cvs status | grep File | grep conflicts | less
-
-confl:	conflicts
-
-- 
cgit v1.2.3