Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned
authorwenzelm
Sat, 07 Apr 2001 19:38:01 +0200
changeset 11239 be12c6f1ea75
parent 11238 1d789889c922
child 11240 e9d5dc758f5e
tuned
Admin/page/Makefile file | annotate | diff | comparison | revisions 
--- 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)
isabelle