# HG changeset patch
# User paulson
# Date 845369939 -7200
# Node ID 76ea62f720f1c82cde240ec9172f1641810b1fe0
# Parent  e8544d73a7aa37dbb5461acb4a64373c30e2a494
Removed extraneous spaces from all Makefiles

diff -r e8544d73a7aa -r 76ea62f720f1 src/HOL/Auth/Makefile
--- a/src/HOL/Auth/Makefile	Tue Oct 15 10:55:57 1996 +0200
+++ b/src/HOL/Auth/Makefile	Tue Oct 15 10:58:59 1996 +0200
@@ -10,35 +10,35 @@
 
 $(BIN)/Auth:   $(BIN)/HOL  $(FILES) 
 	if [ -d $${ISABELLEBIN:?}/Pure ];\
-           	then echo Bad value for ISABELLEBIN: \
-                	$(BIN) is the Isabelle source directory; \
-                	exit 1; \
-           	fi;\
+		then echo Bad value for ISABELLEBIN: \
+			$(BIN) is the Isabelle source directory; \
+			exit 1; \
+		fi;\
 	case "$(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;\
+		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;\
+		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;;\
+		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;;\
+			$(COMP) is not poly or sml; exit 1;;\
 	esac
 
 $(BIN)/HOL:
-	cd ..;  $(MAKE)
+	cd ..;	$(MAKE)
 
 .PRECIOUS:  $(BIN)/HOL $(BIN)/Auth