Index: Makefile
===================================================================
--- Makefile	(revision 4703)
+++ Makefile	(revision 4704)
@@ -1,3 +1,7 @@
+ROOT =../..
+
+DESDIR=$(DOCDIR)/design
+
 DES = \
  front_des.html \
  01_system.html \
@@ -38,3 +42,18 @@
 	(for n in $(IMP); do echo "<!--NewPage-->"; cat $$n; done) | sed "s/\.svg/.png/g" | html2ps --colour > imp.ps
 
 
+install_all:
+	$(SCCBOX) mkdir -p "$(DESDIR)"
+	$(SCCBOX) $(HOW) -d $(DES) "$(DESDIR)"
+	$(SCCBOX) $(HOW) -d $(IMP) "$(DESDIR)"
+
+install:
+	$(MAKE) install_all HOW="install -f"
+
+linstall:
+	$(MAKE) install_all HOW="linstall -f"
+
+uninstall:
+	$(MAKE) install_all HOW="uninstall"
+
+include $(ROOT)/Makefile.conf