Index: doc/user/Makefile
===================================================================
--- doc/user/Makefile	(revision b522435a970a5276ab0224946f7505dd26f33118)
+++ doc/user/Makefile	(revision a514fedcd49adb707a37172a7c0e12f107a6d549)
@@ -46,4 +46,8 @@
 
 all : ${DOCUMENT}
+
+INSTALLDOCDIR = /u/cforall/public_html/doc
+install : all ${INSTALLDOCDIR}
+	cp -f ${DOCUMENT} ${INSTALLDOCDIR}/${DOCUMENT}
 
 clean :