# HG changeset patch
# User wenzelm
# Date 969477626 -7200
# Node ID 4642c9d62aebb97bdcdd46a9f736616491f5086b
# Parent  1eb980d64ba39326df379dbaa5bb226200c266bf
added "install" target;

diff -r 1eb980d64ba3 -r 4642c9d62aeb Admin/page/Makefile
--- a/Admin/page/Makefile	Wed Sep 20 21:20:01 2000 +0200
+++ b/Admin/page/Makefile	Wed Sep 20 21:20:26 2000 +0200
@@ -37,7 +37,7 @@
 # ---
 # --- begin rules
 
-all: clean main dist
+all: clean main dist install
 	@echo "###"
 	@echo "### Finished.  See main/ and dist/ for the resulting pages."
 	@echo "###"
@@ -52,6 +52,9 @@
 	@env DISTNAME=`cat DISTNAME` \
 	  $(GENPAGE) -t $(DIST_LAYOUT)/$(TEMPLATE_NAME) -c $(DIST_CONTENT) -o $(DIST_TARGET)
 
+install: dist
+	@cp -R dist/. ..
+
 clean: 
 	@rm -rf $(MAIN_TARGET)
 	@rm -rf $(DIST_TARGET)