equal
deleted
inserted
replaced
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) |