Admin/page/Makefile
changeset 10084 ede64d0782e5
parent 10040 4642c9d62aeb
child 10091 43c1951a369c
equal deleted inserted replaced
10083:5c669ab41d8e 10084:ede64d0782e5
    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 install
    40 all: clean main dist install weblint
    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:
    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
    55 install: dist
    56 	@cp -R dist/. ..
    56 	@cp -R dist/. ..
    57 
    57 
       
    58 weblint:
       
    59 	@weblint -x netscape $(MAIN_TARGET)
       
    60 	@weblint -x netscape $(DIST_TARGET)
       
    61 
    58 clean: 
    62 clean: 
    59 	@rm -rf $(MAIN_TARGET)
    63 	@rm -rf $(MAIN_TARGET)
    60 	@rm -rf $(DIST_TARGET)
    64 	@rm -rf $(DIST_TARGET)
    61 	@rm -rf $(DOC_CONTENTS_MAIN)
    65 	@rm -rf $(DOC_CONTENTS_MAIN)
    62 	@rm -rf $(DOC_CONTENTS_DIST)
    66 	@rm -rf $(DOC_CONTENTS_DIST)