Admin/page/Makefile
changeset 11239 be12c6f1ea75
parent 10096 6cbe69107c18
child 14582 f0779f6fa7e8
equal deleted inserted replaced
11238:1d789889c922 11239:be12c6f1ea75
    47 dist:
    47 dist:
    48 	@$(MKCONTENT) -p `cat DISTNAME`/doc/ $(DOC_CONTENT_FILE) $(DOC_CONTENTS_DIST)
    48 	@$(MKCONTENT) -p `cat DISTNAME`/doc/ $(DOC_CONTENT_FILE) $(DOC_CONTENTS_DIST)
    49 	@env DISTNAME=`cat DISTNAME` \
    49 	@env DISTNAME=`cat DISTNAME` \
    50 	  $(GENPAGE) -t $(DIST_LAYOUT)/$(TEMPLATE_NAME) -c $(DIST_CONTENT) -o $(DIST_TARGET)
    50 	  $(GENPAGE) -t $(DIST_LAYOUT)/$(TEMPLATE_NAME) -c $(DIST_CONTENT) -o $(DIST_TARGET)
    51 
    51 
    52 install: dist
    52 install: main dist
    53 	@cp -R dist/. ..
    53 	@cp -R dist/. ..
       
    54 	@mkdir -p ../../main-`cat DISTNAME`/.
       
    55 	@cp -R main/. ../../main-`cat DISTNAME`/.
    54 
    56 
    55 weblint:
    57 weblint:
    56 	-weblint -x netscape $(MAIN_TARGET)
    58 	-weblint -x netscape $(MAIN_TARGET)
    57 	-weblint -x netscape $(DIST_TARGET)
    59 	-weblint -x netscape $(DIST_TARGET)
    58 
    60