# HG changeset patch
# User wenzelm
# Date 986665081 -7200
# Node ID be12c6f1ea75dd97ba9bf2bda6672e48e5cfae68
# Parent  1d789889c92297e536122bf9079f176a67bbabc0
tuned

diff -r 1d789889c922 -r be12c6f1ea75 Admin/page/Makefile
--- a/Admin/page/Makefile	Fri Mar 30 18:35:33 2001 +0200
+++ b/Admin/page/Makefile	Sat Apr 07 19:38:01 2001 +0200
@@ -49,8 +49,10 @@
 	@env DISTNAME=`cat DISTNAME` \
 	  $(GENPAGE) -t $(DIST_LAYOUT)/$(TEMPLATE_NAME) -c $(DIST_CONTENT) -o $(DIST_TARGET)
 
-install: dist
+install: main dist
 	@cp -R dist/. ..
+	@mkdir -p ../../main-`cat DISTNAME`/.
+	@cp -R main/. ../../main-`cat DISTNAME`/.
 
 weblint:
 	-weblint -x netscape $(MAIN_TARGET)