[gnome-builder] doc: add favicon

[Christian Hergert <chergert src gnome org>]

commit 2b9ca57f0aebe40045be3164063e1c68233b9fcf
Author: Christian Hergert <chergert redhat com>
Date:   Wed Feb 22 00:19:28 2017 -0800

    doc: add favicon

 doc/conf.py     |    2 +-
 doc/favicon.ico |  Bin 0 -> 50140 bytes
 2 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/doc/conf.py b/doc/conf.py
index 23f1042..f3167da 100644
--- a/doc/conf.py
+++ b/doc/conf.py
@@ -149,7 +149,7 @@ html_theme = 'alabaster'
 # the docs.  This file should be a Windows icon file (.ico) being 16x16 or 32x32
 # pixels large.
 #
-# html_favicon = None
+html_favicon = 'favicon'
 
 # 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/favicon.ico b/doc/favicon.ico
new file mode 100644
index 0000000..f167042
Binary files /dev/null and b/doc/favicon.ico differ