Use autoconf for top-level Makefile.

diff --git a/v7/src/Makefile.in b/v7/src/Makefile.in
index 296872cc26a845e546a2715a5acab33533082599..5ef26a65f3e7fbc87a5e7286b57092cf490f7022 100644 (file)
--- a/v7/src/Makefile.in
+++ b/v7/src/Makefile.in
@@ -1,4 +1,4 @@
-# $Id: Makefile.in,v 1.8 2000/12/08 19:18:35 cph Exp $
+# $Id: Makefile.in,v 1.9 2000/12/08 19:19:23 cph Exp $
 #
 # Copyright (c) 2000 Massachusetts Institute of Technology
 #
@@ -80,8 +80,7 @@ tags TAGS:
        $(srcdir)/Tags.sh $(SUBDIRS)
 
 install: all
-       ( cd microcode; $(MAKE) $@ )
-
+       $(mkinstalldirs) $(DESTDIR)
        $(mkinstalldirs) $(DESTDIR)$(AUXDIR)
        $(mkinstalldirs) $(DESTDIR)$(AUXDIR)/SRC
        $(mkinstalldirs) $(DESTDIR)$(AUXDIR)/SRC/edwin
@@ -93,6 +92,8 @@ install: all
        $(mkinstalldirs) $(DESTDIR)$(EODIR)
        $(mkinstalldirs) $(DESTDIR)$(RODIR)
 
+       ( cd microcode; $(MAKE) $@ )
+
        $(INSTALL_DATA) $(srcdir)/etc/optiondb.scm $(DESTDIR)$(AUXDIR)/.
        $(INSTALL_DATA) $(srcdir)/etc/TUTORIAL $(DESTDIR)$(EDDIR)/etc/.
        $(INSTALL_DATA) $(srcdir)/etc/mime.types $(DESTDIR)$(EDDIR)/etc/.