Add install.world target.

diff --git a/v7/src/microcode/unxutl/makefile b/v7/src/microcode/unxutl/makefile
index ac80b4d224972815bdbc15a829eb8266c0a63c29..fac73d46afe06d74186b3b032e7146723e025c85 100644 (file)
--- a/v7/src/microcode/unxutl/makefile
+++ b/v7/src/microcode/unxutl/makefile
@@ -1,7 +1,7 @@
 #
 # Makefile for MIT CScheme microcode.
 #
-# $Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v7/src/microcode/unxutl/Attic/makefile,v 1.15 1991/11/04 17:28:07 jinx Exp $
+# $Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v7/src/microcode/unxutl/Attic/makefile,v 1.16 1991/11/04 17:43:12 jinx Exp $
 #
 CPP = cc -E
 MAKE = make  # BSD doesn't have it as a default.
@@ -46,6 +46,10 @@ world: xmakefile
        $(MAKE) $(MAKEOVERRIDES) -f xmakefile ${MFLAGS} world
 .PHONY: world
 
+install.world: xmakefile
+       $(MAKE) $(MAKEOVERRIDES) -f xmakefile ${MFLAGS} install.world
+.PHONY: install.world
+
 # If you have a problem with cc -E here, changing
 # the definition of CPP above may fix it.
 xmakefile: ymakefile ymake.script ymake.local cf.h s.h m.h