diff options
| author | Louie S <louie@example.com> | 2024-06-07 15:43:13 -0400 |
|---|---|---|
| committer | Louie S <louie@example.com> | 2024-06-07 15:43:13 -0400 |
| commit | 46bf8fd01e7a8660c0b02b08d69ad12f7a36eb19 (patch) | |
| tree | efe51731f94d8d54f8684a6d29c54898c6b92c3e /config.mk | |
| parent | bc624ea5f8fe4cfc6ea0a44d483ba57cb07cfcd6 (diff) | |
Convert to submodule
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 |