1 files changed, 2 insertions, 0 deletions
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."