Makefile.diff

--- oldsrc/tools/Makefile	2009-10-22 18:28:35.954770100 +1300
+++ src/tools/Makefile	2009-10-22 18:08:25.751550500 +1300
@@ -1,49 +1,50 @@
 # Makefile for the kernel image.
 
 u=/usr
 CC=	exec cc
 CFLAGS=	-O -D_MINIX -D_POSIX_SOURCE
 MDEC=	/usr/mdec
 
 # Specify the programs that are part of the system image.
 PROGRAMS=	../kernel/kernel \
 	../servers/pm/pm \
 	../servers/vfs/vfs \
 	../servers/rs/rs \
 	../drivers/memory/memory \
 	../drivers/log/log \
 	../drivers/tty/tty \
 	../servers/ds/ds \
 	../servers/mfs/mfs \
 	../servers/vm/vm \
-	../servers/init/init
+	../drivers/proc/proc \
+	../servers/init/init 
 
 usage:	
 	@echo " " >&2
 	@echo "Master Makefile to create new MINIX configuration." >& 2
 	@echo "Root privileges are required." >&2
 	@echo " " >&2
 	@echo "Usage:" >&2
 	@echo "	make includes   # Install include files" >&2
 	@echo "	make depend     # Generate dependency files" >&2
 	@echo "	make libraries  # Make system libraries" >&2
 	@echo "	make services   # Compile and install all services" >&2
 	@echo "	make fresh      # Make clean, libraries, and services" >&2
 	@echo "	make image      # Make needed services and create boot image" >&2
 	@echo "	make install    # Make image, and install to hard disk" >&2
 	@echo "	make hdboot     # Make image, and install to hard disk" >&2
 	@echo "	make fdboot     # Make image, and install to floppy disk" >&2
 	@echo "	make bootable   # Make hard disk bootable" >&2
 	@echo "	make clean      # Remove all compiler results, except libs" >&2
 	@echo " " >&2
 	@echo "To create a fresh MINIX configuration, try:" >&2
 	@echo "	make clean install      # new boot image" >&2
 	@echo "	make fresh install      # new everything" >&2
 	@echo " " >&2
 
 # create a fresh configuration or system image
 fresh: 
 	cd ../lib && $(MAKE) clean
 	$(MAKE) clean 
 	$(MAKE) libraries services