diff options
author | Anastasia Klimchuk <aklm@flashrom.org> | 2023-08-18 21:25:02 +1000 |
---|---|---|
committer | Anastasia Klimchuk <aklm@chromium.org> | 2023-08-25 07:55:23 +0000 |
commit | d534100c0503bc9ff47d95456ceabbe644929b5d (patch) | |
tree | 6d2b26e63d1e13b41fa8d8e8bc63a318ef49a12d | |
parent | e1b89fd33fdd68f5457fce61cf96ca7f5216d40a (diff) | |
download | flashrom-d534100c0503bc9ff47d95456ceabbe644929b5d.tar.gz flashrom-d534100c0503bc9ff47d95456ceabbe644929b5d.tar.bz2 flashrom-d534100c0503bc9ff47d95456ceabbe644929b5d.zip |
doc: Add favicon to config to display in the browser tab
Initial set of logo images had no ico file, so this patch
adds ico files, which are just conversion from png to ico.
Change-Id: I7238890833d84b3799e873c8a37b4176822ff9a4
Signed-off-by: Anastasia Klimchuk <aklm@flashrom.org>
Reviewed-on: https://review.coreboot.org/c/flashrom/+/77285
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Edward O'Callaghan <quasisec@chromium.org>
-rw-r--r-- | doc/conf.py | 1 | ||||
-rw-r--r-- | doc/logo/flashrom_icon_color-16x16.ico | bin | 0 -> 1150 bytes | |||
-rw-r--r-- | doc/logo/flashrom_icon_color-32x32.ico | bin | 0 -> 4286 bytes |
3 files changed, 1 insertions, 0 deletions
diff --git a/doc/conf.py b/doc/conf.py index 77aa29b6f..be9cc0174 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -38,6 +38,7 @@ todo_include_todos = False html_theme = 'alabaster' #html_static_path = ['_static'] +html_favicon = 'logo/flashrom_icon_color-32x32.ico' # -- Options for manual page output -------------------------------------------- diff --git a/doc/logo/flashrom_icon_color-16x16.ico b/doc/logo/flashrom_icon_color-16x16.ico Binary files differnew file mode 100644 index 000000000..6c8c777db --- /dev/null +++ b/doc/logo/flashrom_icon_color-16x16.ico diff --git a/doc/logo/flashrom_icon_color-32x32.ico b/doc/logo/flashrom_icon_color-32x32.ico Binary files differnew file mode 100644 index 000000000..d070e70a1 --- /dev/null +++ b/doc/logo/flashrom_icon_color-32x32.ico |