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/ci/report.sh | 1 + aux/workflow/README.sh | 1 + aux/workflow/TODOs.sh | 1 + aux/workflow/commonmark.sh | 1 + aux/workflow/favicon.html | 1 + aux/workflow/favicon.png | Bin 0 -> 2372 bytes aux/workflow/favicon.svg | 62 +++++++++++++++++++++++++++++++++++++++++++++ aux/workflow/public.sh | 2 ++ 8 files changed, 69 insertions(+) create mode 100644 aux/workflow/favicon.html create mode 100644 aux/workflow/favicon.png create mode 100644 aux/workflow/favicon.svg diff --git a/aux/ci/report.sh b/aux/ci/report.sh index b82c061..a3fc608 100755 --- a/aux/ci/report.sh +++ b/aux/ci/report.sh @@ -26,6 +26,7 @@ cat <> "$OUT" +