From c221620d8a72b5efa65dd1783476776ade9b6042 Mon Sep 17 00:00:00 2001 From: EuAndreh Date: Sun, 6 Jun 2021 08:37:05 -0300 Subject: aux/: Add favicon to generated HTML files --- aux/workflow/public.sh | 2 ++ 1 file changed, 2 insertions(+) (limited to 'aux/workflow/public.sh') diff --git a/aux/workflow/public.sh b/aux/workflow/public.sh index 4c90225..d71bdb5 100755 --- a/aux/workflow/public.sh +++ b/aux/workflow/public.sh @@ -13,3 +13,5 @@ if [ -f CHANGELOG.md ]; then fi sh aux/ci/report.sh "$PROJECT" + +cp aux/workflow/favicon.* public/ -- cgit v1.2.3