Index: Makefile
===================================================================
--- Makefile	(revision 14852)
+++ Makefile	(revision 14853)
@@ -1,9 +1,14 @@
-TRUNK=../..
-BUILD=$(TRUNK)/util/build_ps.sh
+ROOT=../..
+BUILD=$(ROOT)/util/build_ps.sh
+USERDIR=$(DOCDIR)/user
 
 export HTML2PS_OPTS=-f default.css
 export HTML2PS_SED="s^<[hH]1>.*</[hH]1>^^g"
 
+
+INSTD = 02_model 03_data 04_invoc 05_ui 06_feature 07_io \
+        08_util 09_appendix
+
 all: user.pdf
 
 user.ps: ps.lst $(BUILD) default.css Makefile
@@ -16,3 +21,19 @@
 	echo "title.html" > ps.lst
 	echo "index.html" >> ps.lst
 	ls */*.html | sort >> ps.lst
+
+include Makefile.inst
+
+regen: instgen
+	./instgen
+
+install:
+	make install_all HOW="install -f"
+
+linstall:
+	make install_all HOW="install -f -l"
+
+uninstall:
+	make install_all HOW="install -u"
+
+include $(ROOT)/Makefile.conf