From d45445733e3776fc397a4a077c1c6c4d5bc7439a Mon Sep 17 00:00:00 2001 From: hyrodium Date: Sun, 4 Jun 2023 00:32:27 +0900 Subject: [PATCH] update Makefile --- Makefile | 11 +++++------ 1 file changed, 5 insertions(+), 6 deletions(-) diff --git a/Makefile b/Makefile index 6bb89268..52276764 100644 --- a/Makefile +++ b/Makefile @@ -1,12 +1,11 @@ -all: generate_badge generate_favicon +.PHONY: all +all: badge.svg docs/src/assets/favicon.ico -.PHONY: generate_badge generate_favicon - -generate_badge: +badge.svg: docs/src/assets/logo.svg SVG_BASE64=$(shell base64 -w 0 docs/src/assets/logo.svg); \ - curl -o "badge.svg" "https://img.shields.io/badge/tested_with-Aqua.jl-05C3DD.svg?logo=data:image/svg+xml;base64,$$SVG_BASE64" + curl -o "badge.svg" "https://img.shields.io/badge/tested_with-Aqua.jl-ACDBDA.svg?logo=data:image/svg+xml;base64,$$SVG_BASE64" -generate_favicon: +docs/src/assets/favicon.ico: docs/src/assets/logo.svg convert -background none docs/src/assets/logo.svg -resize 256x256 logo.png convert logo.png -gravity center -background none -extent 256x256 logo256.png convert logo256.png -resize 16x16 logo16.png