From ae90c24fb77d37e02fcfaf0ee9ef64c8b72bb1c1 Mon Sep 17 00:00:00 2001 From: Marcello Stanisci Date: Mon, 20 Jun 2016 16:53:09 +0200 Subject: addressing #4575 --- Makefile | 2 ++ favicon.ico | Bin 0 -> 1150 bytes robots.txt | 20 ++++++++++++++++++++ 3 files changed, 22 insertions(+) create mode 100644 favicon.ico create mode 100644 robots.txt diff --git a/Makefile b/Makefile index f09f2a04..51af85c5 100644 --- a/Makefile +++ b/Makefile @@ -53,6 +53,8 @@ clean: # remove all cached state first. html: $(SPHINXBUILD) -b html-linked $(ALLSPHINXOPTS) $(BUILDDIR)/html + @cp favicon.ico $(BUILDDIR)/html + @cp robots.txt $(BUILDDIR)/html @echo @echo "Build finished. The HTML pages are in $(BUILDDIR)/html." diff --git a/favicon.ico b/favicon.ico new file mode 100644 index 00000000..141b93d3 Binary files /dev/null and b/favicon.ico differ diff --git a/robots.txt b/robots.txt new file mode 100644 index 00000000..0a639917 --- /dev/null +++ b/robots.txt @@ -0,0 +1,20 @@ +# +# robots.txt +# +# This file is to prevent the crawling and indexing of certain parts +# of your site by web crawlers and spiders run by sites like Yahoo! +# and Google. By telling these "robots" where not to go on your site, +# you save bandwidth and server resources. +# +# This file will be ignored unless it is at the root of your host: +# Used: http://example.com/robots.txt +# Ignored: http://example.com/site/robots.txt +# +# For more information about the robots.txt standard, see: +# http://www.robotstxt.org/robotstxt.html +# +# For syntax checking, see: +# http://www.frobee.com/robots-txt-check + +User-agent: * +Crawl-delay: 10 -- cgit v1.2.3