Admin/page/Makefile
changeset 10040 4642c9d62aeb
parent 9920 9734f2717203
child 10084 ede64d0782e5
     1.1 --- a/Admin/page/Makefile	Wed Sep 20 21:20:01 2000 +0200
     1.2 +++ b/Admin/page/Makefile	Wed Sep 20 21:20:26 2000 +0200
     1.3 @@ -37,7 +37,7 @@
     1.4  # ---
     1.5  # --- begin rules
     1.6  
     1.7 -all: clean main dist
     1.8 +all: clean main dist install
     1.9  	@echo "###"
    1.10  	@echo "### Finished.  See main/ and dist/ for the resulting pages."
    1.11  	@echo "###"
    1.12 @@ -52,6 +52,9 @@
    1.13  	@env DISTNAME=`cat DISTNAME` \
    1.14  	  $(GENPAGE) -t $(DIST_LAYOUT)/$(TEMPLATE_NAME) -c $(DIST_CONTENT) -o $(DIST_TARGET)
    1.15  
    1.16 +install: dist
    1.17 +	@cp -R dist/. ..
    1.18 +
    1.19  clean: 
    1.20  	@rm -rf $(MAIN_TARGET)
    1.21  	@rm -rf $(DIST_TARGET)