add github favicon

james · james · commit f8d8082cf3a3 · 2020-12-15T19:34:56.000Z
diff --git a/docs/codeql/conf.py b/docs/codeql/conf.py
@@ -94,5 +94,7 @@ def setup(sphinx):
 # Copy the static landing page for codeql.github.com/docs when building this sphinx project
 html_extra_path = ['index.html']
 
+html_favicon = 'images/site/favicon.ico'
+
 # Exclude these paths from being built by Sphinx
 exclude_patterns = ['vale*', '_static', '_templates', 'reusables', 'images', 'support', 'ql-training', 'query-help', '_build', '*.py*', 'README.rst']
diff --git a/docs/codeql/images/site/favicon.ico b/docs/codeql/images/site/favicon.ico
diff --git a/docs/codeql/index.html b/docs/codeql/index.html
@@ -5,6 +5,7 @@
     <title>CodeQL documentation</title>
     <meta name="viewport" content="width=device-width, initial-scale=1" />
     <link rel="stylesheet" href="_static/primer.css" />
+    <link rel="shortcut icon" href="images/site/favicon.ico"/>
 </head>
 
 <body>
