Browse Source

:wrench: Distribute favicon

DricomDragon 1 year ago
parent
commit
e369a00ca2
1 changed files with 4 additions and 1 deletions
  1. 4 1
      makefile

+ 4 - 1
makefile

@@ -15,7 +15,7 @@ DOWNLOAD_FILES := $(shell find src/download -type f)
 DIST_GEN_FILES := $(GEN_FILES:src/%.gen.html=$(DIST_DIR)/%.html)
 DIST_INC_FILES := $(INCLUDED_FILES:src/%=$(DIST_DIR)/%)
 DIST_DWN_FILES := $(DOWNLOAD_FILES:src/%=$(DIST_DIR)/%)
-DIST_FILES := $(DIST_GEN_FILES) $(DIST_INC_FILES) $(DIST_DWN_FILES)
+DIST_FILES := $(DIST_GEN_FILES) $(DIST_INC_FILES) $(DIST_DWN_FILES) $(DIST_DIR)/favicon.ico
 
 PANDOC_GEN := pandoc --standalone --wrap=none --template src/templates/main.html --metadata-file src/meta.yml
 
@@ -46,6 +46,9 @@ $(DIST_DIR)/%.html: src/%.gen.html
 	mkdir --parents $(dir $@)
 	cp $< $@
 
+$(DIST_DIR)/favicon.ico: src/favicon.ico
+	cp $< $@
+
 .PHONY: clean
 clean:
 	rm -f $(GEN_FILES)