Admin/page/Makefile
changeset 10040 4642c9d62aeb
parent 9920 9734f2717203
child 10084 ede64d0782e5
equal deleted inserted replaced
10039:1eb980d64ba3 10040:4642c9d62aeb
    35 DOC_CONTENTS_DIST = docu-contents.dist
    35 DOC_CONTENTS_DIST = docu-contents.dist
    36 
    36 
    37 # ---
    37 # ---
    38 # --- begin rules
    38 # --- begin rules
    39 
    39 
    40 all: clean main dist
    40 all: clean main dist install
    41 	@echo "###"
    41 	@echo "###"
    42 	@echo "### Finished.  See main/ and dist/ for the resulting pages."
    42 	@echo "### Finished.  See main/ and dist/ for the resulting pages."
    43 	@echo "###"
    43 	@echo "###"
    44 
    44 
    45 main:
    45 main:
    50 dist:
    50 dist:
    51 	@$(MKCONTENT) -p `cat DISTNAME`/doc/ $(DOC_CONTENT_FILE) $(DOC_CONTENTS_DIST)
    51 	@$(MKCONTENT) -p `cat DISTNAME`/doc/ $(DOC_CONTENT_FILE) $(DOC_CONTENTS_DIST)
    52 	@env DISTNAME=`cat DISTNAME` \
    52 	@env DISTNAME=`cat DISTNAME` \
    53 	  $(GENPAGE) -t $(DIST_LAYOUT)/$(TEMPLATE_NAME) -c $(DIST_CONTENT) -o $(DIST_TARGET)
    53 	  $(GENPAGE) -t $(DIST_LAYOUT)/$(TEMPLATE_NAME) -c $(DIST_CONTENT) -o $(DIST_TARGET)
    54 
    54 
       
    55 install: dist
       
    56 	@cp -R dist/. ..
       
    57 
    55 clean: 
    58 clean: 
    56 	@rm -rf $(MAIN_TARGET)
    59 	@rm -rf $(MAIN_TARGET)
    57 	@rm -rf $(DIST_TARGET)
    60 	@rm -rf $(DIST_TARGET)
    58 	@rm -rf $(DOC_CONTENTS_MAIN)
    61 	@rm -rf $(DOC_CONTENTS_MAIN)
    59 	@rm -rf $(DOC_CONTENTS_DIST)
    62 	@rm -rf $(DOC_CONTENTS_DIST)