Admin/page/Makefile
changeset 10096 6cbe69107c18
parent 10091 43c1951a369c
child 11239 be12c6f1ea75
equal deleted inserted replaced
10095:16292f1471ad 10096:6cbe69107c18
    36 
    36 
    37 # ---
    37 # ---
    38 # --- begin rules
    38 # --- begin rules
    39 
    39 
    40 all: clean main dist install weblint
    40 all: clean main dist install weblint
    41 	@echo "###"
       
    42 	@echo "### Finished.  See main/ and dist/ for the resulting pages."
       
    43 	@echo "###"
       
    44 
    41 
    45 main:
    42 main:
    46 	@$(MKCONTENT) -p dist/`cat DISTNAME`/doc/ $(DOC_CONTENT_FILE) $(DOC_CONTENTS_MAIN)
    43 	@$(MKCONTENT) -p dist/`cat DISTNAME`/doc/ $(DOC_CONTENT_FILE) $(DOC_CONTENTS_MAIN)
    47 	@env DISTNAME=`cat DISTNAME` \
    44 	@env DISTNAME=`cat DISTNAME` \
    48 	  $(GENPAGE) -t $(MAIN_LAYOUT)/$(TEMPLATE_NAME) -c $(MAIN_CONTENT) -o $(MAIN_TARGET)
    45 	  $(GENPAGE) -t $(MAIN_LAYOUT)/$(TEMPLATE_NAME) -c $(MAIN_CONTENT) -o $(MAIN_TARGET)