diff options
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 |