summaryrefslogtreecommitdiff
path: root/tools/Makefile
diff options
context:
space:
mode:
authorLudovic Courtes2006-01-15 10:12:33 +0000
committerLudovic Courtes2006-01-15 10:12:33 +0000
commit2fa5d0c750d71bbdf5b2c20db01f274ab5da0cc9 (patch)
tree2827aef0d0b32a0e87c178edf42ba667fe52c258 /tools/Makefile
parenta1b1ba4d3edd2a5326dfb82527c4bdcdef29284a (diff)
downloadskribilo-2fa5d0c750d71bbdf5b2c20db01f274ab5da0cc9.tar.gz
skribilo-2fa5d0c750d71bbdf5b2c20db01f274ab5da0cc9.tar.lz
skribilo-2fa5d0c750d71bbdf5b2c20db01f274ab5da0cc9.zip
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
Diffstat (limited to 'tools/Makefile')
-rw-r--r--tools/Makefile60
1 files changed, 0 insertions, 60 deletions
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
-