Thu Jul 18 18:27:14 1996  Miles Bader  <miles@gnu.ai.mit.edu>

	* SETUP: Install grub with INSTALL-GRUB-MBR if desired.

	* INSTALL-GRUB-MBR: Fix quoting in last echo.

Wed Jul 17 00:17:05 1996  Michael I. Bushnell, p/BSG  <mib@gnu.ai.mit.edu>

	* INSTALL-binary: Yet more changes.

Tue Jul 16 23:41:09 1996  Michael I. Bushnell, p/BSG  <mib@gnu.ai.mit.edu>

	* Makefile (dist-files): boot-menu.grub -> menu.lst.
	(install-dist): Likewise; also put it in /boot/grub and don't
	bother with link in /etc.
	* menu.lst: Renamed from boot-menu.grub.

Mon Jul 15 17:18:05 1996  Michael I. Bushnell, p/BSG  <mib@gnu.ai.mit.edu>

	* INSTALL-binary: Many changes.

	* boot-menu.grub: Rewritten; much nicer now.

Mon Jul 15 15:58:46 1996  Miles Bader  <miles@gnu.ai.mit.edu>

	* INSTALL-GRUB-MBR: Only read first block of disk as mbr.
	"in)" -> "in".

	(INSTALL-GRUB-MBR): New file.
	* Makefile (dist-files): Add INSTALL-GRUB-MBR.
	(install-dist): Install INSTALL-GRUB-MBR.

Sun Jul 14 20:21:12 1996  Michael I. Bushnell, p/BSG  <mib@gnu.ai.mit.edu>

	* servers.boot: That's STATIC ufs.

Sat Jul 13 18:06:03 1996  Michael I. Bushnell, p/BSG  <mib@gnu.ai.mit.edu>

	* SETUP: Make ptys too.

	* SETUP: Setup /servers/crash too.

	* COPYING.LIB: New file.
	* Makefile (install-dist): Install COPYING.LIB and COPYING.
	Fix commands to install most everything from $(srcdir).
	
	* boot-menu.grub: New file.
	* servers.boot: New file.
	* Makefile (dist-files): Add servers.boot and boot-menu.grub.
	(install-dist): Install servers.boot and boot-menu.grub.
	(dist-links): Create $(dist-root)/boot.

	* INSTALL-binary: Various changes.

Fri Jul 12 15:18:25 1996  Michael I. Bushnell, p/BSG  <mib@gnu.ai.mit.edu>

	* install-stripped (makelocalhardlink): Only do cleverness if TO
 	already exists.  If it's not there, just make the link.

Tue Jul  9 20:10:21 1996  Miles Bader  <miles@gnu.ai.mit.edu>

	* INSTALL-binary: Changed.

Tue Jul  9 18:03:45 1996  Michael I. Bushnell, p/BSG  <mib@gnu.ai.mit.edu>

	* INSTALL-binary: Various changes.

	* Makefile (install-dist): Depend on dist-links.
	(dist-links): New target.

	* SETUP: Put pflocal on /servers/socket/local (which will be a
 	link to /servers/socket/1).

	* SETUP: Set root writable before doing anything else; offer to
 	reboot the system when through.

Mon Jul  8 17:47:58 1996  Michael I. Bushnell, p/BSG  <mib@gnu.ai.mit.edu>

	* INSTALL-binary: Various changes.