# HG changeset patch
# User wenzelm
# Date 866805571 -7200
# Node ID fbd4eb0cd0da0f46cc2c6ad8aa09c010ed4b61d9
# Parent  40b1287347d77f58497325fd20b6e27f87f1a719
removed old Makefile;

diff -r 40b1287347d7 -r fbd4eb0cd0da src/HOL/Auth/Makefile
--- a/src/HOL/Auth/Makefile	Fri Jun 20 11:37:53 1997 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,44 +0,0 @@
-# $Id$
-# This Makefile allows the common theory for security logics to be
-#	built separately.
-#
-BIN = $(ISABELLEBIN)
-COMP = $(ISABELLECOMP)
-NAMES = Message Shared
-
-FILES = DB-ROOT.ML $(NAMES:%=%.thy) $(NAMES:%=%.ML)
-
-$(BIN)/Auth:   $(BIN)/HOL  $(FILES) 
-	@if [ -d $${ISABELLEBIN:?}/Pure ];\
-		then echo Bad value for ISABELLEBIN: \
-			$(BIN) is the Isabelle source directory; \
-			exit 1; \
-	fi
-	@case `expr "//$(COMP)" : '[^ ]*/\(.*\)'` in \
-	poly*)	echo 'make_database"$(BIN)/Auth"; quit();'  \
-		  | $(COMP) $(BIN)/HOL;\
-		if [ "$${MAKE_HTML}" = "true" ]; \
-		then echo 'open PolyML; init_html(); exit_use"DB-ROOT.ML";' \
-		       | $(COMP) $(BIN)/Auth;\
-		elif [ "$${MAKE_HTML-undefined}" != "undefined" ]; \
-		then echo 'open PolyML; init_html(); exit_use"DB-ROOT.ML";				 make_html := false;' | $(COMP) $(BIN)/Auth;\
-		else echo 'open PolyML; exit_use"DB-ROOT.ML";' \
-		       | $(COMP) $(BIN)/Auth;\
-		fi;\
-		discgarb -c $(BIN)/Auth;;\
-	sml*)	if [ "$${MAKE_HTML}" = "true" ]; \
-		then echo 'init_html(); exit_use"DB-ROOT.ML";						 xML"$(BIN)/Auth" banner;' | $(BIN)/HOL;\
-		elif [ "$${MAKE_HTML-undefined}" != "undefined" ];\
-		then echo 'init_html(); exit_use"DB-ROOT.ML";						 make_html := false; xML"$(BIN)/Auth" banner;' \
-		       | $(BIN)/HOL;\
-		else echo 'exit_use"DB-ROOT.ML"; xML"$(BIN)/Auth" banner;' \
-		       | $(BIN)/HOL;\
-		fi;;\
-	*)	echo Bad value for ISABELLECOMP: \
-			\"$(COMP)\" is not poly or sml; exit 1;;\
-	esac
-
-$(BIN)/HOL:
-	cd ..;	$(MAKE)
-
-.PRECIOUS:  $(BIN)/HOL $(BIN)/Auth