[GitHub] aditihilbert closed pull request #381: give the docs a favicon

[GitBox <gi...@apache.org>]

aditihilbert closed pull request #381: give the docs a favicon
URL: https://github.com/apache/mynewt-site/pull/381
 
 
   

This is a PR merged from a forked repository.
As GitHub hides the original diff on merge, it is displayed below for
the sake of provenance:

As this is a foreign pull request (from a fork), the diff is supplied
below (as it won't show otherwise due to GitHub magic):

diff --git a/custom-theme/img/favicon.ico b/custom-theme/img/favicon.ico
deleted file mode 100644
index e85006a3c..000000000
Binary files a/custom-theme/img/favicon.ico and /dev/null differ
diff --git a/custom-theme/img/mynewt-logo-only-newt32x32.png b/custom-theme/img/mynewt-logo-only-newt32x32.png
new file mode 100644
index 000000000..d82177dc4
Binary files /dev/null and b/custom-theme/img/mynewt-logo-only-newt32x32.png differ
diff --git a/mkdocs.yml b/mkdocs.yml
index fc103c091..12e45d74d 100644
--- a/mkdocs.yml
+++ b/mkdocs.yml
@@ -2,6 +2,7 @@ site_name: Apache Mynewt
 site_url: http://mynewt.apache.org
 repo_url: https://github.com/apache/mynewt-site/
 edit_uri: blob/master/docs
+site_favicon: /img/mynewt-logo-only-newt32x32.png
 
 theme_dir: 'custom-theme'
 


 

----------------------------------------------------------------
This is an automated message from the Apache Git Service.
To respond to the message, please log on GitHub and use the
URL above to go to the specific comment.
 
For queries about this service, please contact Infrastructure at:
users@infra.apache.org


With regards,
Apache Git Services