From 2fa5d0c750d71bbdf5b2c20db01f274ab5da0cc9 Mon Sep 17 00:00:00 2001
From: Ludovic Courtes
Date: Sun, 15 Jan 2006 10:12:33 +0000
Subject: Cleaned up the Arch inventory and removed old useless makefiles.

Cleaned up the Arch inventory and removed old useless makefiles.

git-archimport-id: lcourtes@laas.fr--2005-mobile/skribilo--devel--1.2--patch-23
---
 tools/Makefile | 60 ----------------------------------------------------------
 1 file changed, 60 deletions(-)
 delete mode 100644 tools/Makefile

(limited to 'tools/Makefile')

diff --git a/tools/Makefile b/tools/Makefile
deleted file mode 100644
index 200db45..0000000
--- a/tools/Makefile
+++ /dev/null
@@ -1,60 +0,0 @@
-#*=====================================================================*/
-#*    serrano/prgm/project/skribe/tools/Makefile                       */
-#*    -------------------------------------------------------------    */
-#*    Author      :  Manuel Serrano                                    */
-#*    Creation    :  Wed Jul 30 16:23:07 2003                          */
-#*    Last change :  Tue Oct 26 19:36:26 2004 (eg)                */
-#*    Copyright   :  2003-04 Manuel Serrano                            */
-#*    -------------------------------------------------------------    */
-#*    The Skribe Tools general makefile                                */
-#*=====================================================================*/
-include ../etc/Makefile.config
-
-TOOLS= skribebibtex
-
-#*---------------------------------------------------------------------*/
-#*    all                                                              */
-#*---------------------------------------------------------------------*/
-.PHONY: all
-
-all:
-	for p in $(TOOLS); do \
-	  (cd $$p/$(SYSTEM) && $(MAKE)) || exit -1; \
-        done
-
-#*---------------------------------------------------------------------*/
-#*    pop                                                              */
-#*---------------------------------------------------------------------*/
-.PHONY: pop
-
-pop: 
-	@ for p in $(TOOLS); do \
-	  (cd $$p/bigloo && $(MAKE) pop); \
-	  (cd $$p/stklos && $(MAKE) pop); \
-        done
-	@ echo tools/Makefile
-
-#*---------------------------------------------------------------------*/
-#*    pop                                                              */
-#*---------------------------------------------------------------------*/
-.PHONY: install uninstall
-
-install: 
-	@ for p in $(TOOLS); do \
-	  (cd $$p/$(SYSTEM) && $(MAKE) install) || exit -1; \
-        done
-uninstall: 
-	@ for p in $(TOOLS); do \
-	  (cd $$p/$(SYSTEM) && $(MAKE) uninstall) || exit -1; \
-        done
-
-#*---------------------------------------------------------------------*/
-#*    clean                                                            */
-#*---------------------------------------------------------------------*/
-.PHONY: clean
-
-clean:
-	for p in $(TOOLS); do \
-	  (cd $$p/$(SYSTEM) && $(MAKE) clean); \
-        done
-
-- 
cgit v1.2.3