diff options
| author | Louie Shprung <lshprung@tutanota.com> | 2024-12-18 10:57:38 -0500 |
|---|---|---|
| committer | Louie Shprung <lshprung@tutanota.com> | 2024-12-18 10:57:38 -0500 |
| commit | e772062371ddbbacc20d6f2ec1b6fefddd76dc7e (patch) | |
| tree | 531895e81feda78c094ff6346e724aad2aaf0609 /config.mk | |
| parent | d13b284794b915d81d7faccc6e04c002b5882ffb (diff) | |
Convert to submodule
Diffstat (limited to 'config.mk')
| -rw-r--r-- | config.mk | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/config.mk b/config.mk new file mode 100644 index 0000000..c060bad --- /dev/null +++ b/config.mk @@ -0,0 +1,15 @@ +SRC_ICON_FILE=$(SOURCE_DIR)/icon.png + +MANUAL_URL = https://www.gnu.org/prep/standards/standards.html_node.tar.gz +MANUAL_FILE = tmp/standards.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 $(DOCUMENTS_DIR) + rm -f $@ + $(SOURCE_DIR)/src/index-pages.sh $@ $(DOCUMENTS_DIR)/*.html |