diff options
author | Louie S <louie@example.com> | 2024-06-26 18:34:49 -0400 |
---|---|---|
committer | Louie S <louie@example.com> | 2024-06-26 18:53:42 -0400 |
commit | 8fdfbacc6fbf173139b64a0bfa20c94903ad9392 (patch) | |
tree | 11ec794a8343eca97f32d5587d949808a25c92d9 /config.mk | |
parent | b70cc298b199c7e735eebb23869481adccbc237f (diff) |
Convert to submodule
Diffstat (limited to 'config.mk')
-rw-r--r-- | config.mk | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/config.mk b/config.mk new file mode 100644 index 0000000..b9c12fd --- /dev/null +++ b/config.mk @@ -0,0 +1,20 @@ +SRC_ICON_FILE = $(SOURCE_DIR)/icon.png + +MANUAL_URL = https://www.gnu.org/software/bash/manual/bash.html_node.tar.gz +MANUAL_FILE = tmp/bash.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): $(SOURCE_DIR)/src/index-pages.sh $(SCRIPTS_DIR)/gnu/index-terms.sh $(DOCUMENTS_DIR) + rm -f $@ + $(SOURCE_DIR)/src/index-pages.sh $@ $(DOCUMENTS_DIR)/*.html + $(SCRIPTS_DIR)/gnu/index-terms.sh Builtin $@ $(DOCUMENTS_DIR)/Builtin-Index.html + $(SCRIPTS_DIR)/gnu/index-terms.sh Word $@ $(DOCUMENTS_DIR)/Reserved-Word-Index.html + $(SCRIPTS_DIR)/gnu/index-terms.sh Variable $@ $(DOCUMENTS_DIR)/Variable-Index.html + $(SCRIPTS_DIR)/gnu/index-terms.sh Function $@ $(DOCUMENTS_DIR)/Function-Index.html + $(SCRIPTS_DIR)/gnu/index-terms.sh Entry $@ $(DOCUMENTS_DIR)/Concept-Index.html |