diff options
Diffstat (limited to 'config.mk')
-rw-r--r-- | config.mk | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/config.mk b/config.mk new file mode 100644 index 0000000..364dcbe --- /dev/null +++ b/config.mk @@ -0,0 +1,22 @@ +SRC_ICON_FILE = $(SOURCE_DIR)/icon.png + +MANUAL_URL = http://www.gnu.org/software/make/manual/make.html_node.tar.gz +MANUAL_FILE = tmp/make.html_node.tar.gz + +$(MANUAL_FILE): tmp + curl -o $@ $(MANUAL_URL) + +$(DOCUMENTS_DIR): $(RESOURCES_DIR) $(MANUAL_FILE) + mkdir -p $@ + tar -x -z -f $(MANUAL_FILE) -C $@ + +$(INDEX_FILE): $(wildcard $(SOURCE_DIR)/src/*.sh) $(wildcard $(SCRIPTS_DIR)/*.sh) $(DOCUMENTS_DIR) + rm -f $@ + $(SOURCE_DIR)/src/index-pages.sh $@ $(DOCUMENTS_DIR)/*.html +ifndef NO_CSS + $(SOURCE_DIR)/src/set-stylesheet.sh "yes" $(DOCUMENTS_DIR)/*.html +else + $(SOURCE_DIR)/src/set-stylesheet.sh "no" $(DOCUMENTS_DIR)/*.html +endif + $(SOURCE_DIR)/src/index-terms.sh "Entry" $@ $(DOCUMENTS_DIR)/Concept-Index.html + $(SOURCE_DIR)/src/index-terms.sh "Directive" $@ $(DOCUMENTS_DIR)/Name-Index.html |