Admin/page/Makefile
changeset 11239 be12c6f1ea75
parent 10096 6cbe69107c18
child 14582 f0779f6fa7e8
--- 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)