add favicon in rtd (#3379)

133bb250 · Sheng Zha · Tianqi Chen · df88c411 · 133bb250 · 133bb250
Commit 133bb250 authored Jun 17, 2019 by Sheng Zha Committed by Tianqi Chen Jun 17, 2019
Hide whitespace changes
Inline Side-by-side

Showing with 3 additions and 0 deletions

docs/_static/img/tvm-logo-square.png
+0 -0

docs/conf.py
+2 -0

tests/lint/check_file_type.py
+1 -0

No files found.
--- a/docs/_static/img/tvm-logo-square.png
+++ b/docs/_static/img/tvm-logo-square.png
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -165,6 +165,8 @@ html_theme_options = {

 html_logo = "_static/img/tvm-logo-small.png"

+html_favicon = "_static/img/tvm-logo-square.png"
+

 # Output file base name for HTML help builder.
 htmlhelp_basename = project + 'doc'

--- a/tests/lint/check_file_type.py
+++ b/tests/lint/check_file_type.py
@@ -107,6 +107,7 @@ ALLOW_SPECIFIC_FILE = {
    # documentation related files
    "docs/_static/css/tvm_theme.css",
    "docs/_static/img/tvm-logo-small.png",
+    "docs/_static/img/tvm-logo-square.png",
   }