Add favicon to HTML documentation

YinjieLin · Oct 23, 2018 · f201707 · f201707
1 parent 8578957
commit f201707
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 1 deletion.
diff --git a/doc/BUILD.bazel b/doc/BUILD.bazel
@@ -14,6 +14,7 @@ genrule(
         "**/*.rst",
     ]) + [
         "conf.py",
+        "images/favicon.ico",
         "images/logo_w_text.jpg",
         "images/doxygen_instructions/visual_studio_build_targets.png",
         "sample_vimrc",

diff --git a/doc/conf.py b/doc/conf.py
@@ -118,7 +118,7 @@
 # The name of an image file (relative to this directory) to use as a favicon of
 # the docs.  This file should be a Windows icon file (.ico) being 16x16 or 32x32
 # pixels large.
-#html_favicon = None
+html_favicon = 'images/favicon.ico'
 
 # Add any paths that contain custom static files (such as style sheets) here,
 # relative to this directory. They are copied after the builtin static files,

diff --git a/doc/images/favicon.ico b/doc/images/favicon.ico