Admin/page/Makefile
changeset 10040 4642c9d62aeb
parent 9920 9734f2717203
child 10084 ede64d0782e5
--- 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)