# HG changeset patch
# User Oleksandr Gavenko <gavenkoa@gmail.com>
# Date 1470390282 -10800
# Node ID 9a1292a6be3ee2f71a5ec7d7a087349f805e9394
# Parent  a0f224c26f080e9703b5edfb2976e241ad556396
Add robots.txt.

diff -r a0f224c26f08 -r 9a1292a6be3e Makefile
--- a/Makefile	Thu Aug 04 15:31:15 2016 +0300
+++ b/Makefile	Fri Aug 05 12:44:42 2016 +0300
@@ -96,7 +96,7 @@
 all:
 
 .PHONY: www
-www: html $(HTML_DIR)/sitemap.xml
+www: html $(HTML_DIR)/sitemap.xml $(HTML_DIR)/robots.txt
 
 .PHONY: html
 html: $(HTML_FILES)
@@ -121,7 +121,7 @@
 echo '</body></html>'; \
 } >$@
 
-$(HTML_DIR)/rst.tmpl: www/rst.tmpl $(MAKEFILE_LIST)
+$(HTML_DIR)/rst.tmpl: www/rst.tmpl $(MAKEFILE_LIST) | $(HTML_DIR)
 	sed -e "s|{date}|$$(date +%F)|" -e "s|{rev}|$$(hg id -i)|"  <$< >$@
 
 $(HTML_DIR)/index.html: $(HTML_DIR)/README.html $(MAKEFILE_LIST) | $(HTML_DIR)
@@ -154,7 +154,7 @@
 for f in *.rst; do echo ".. include:: ../$$f"; done; \
 } >$@
 
-$(HTML_DIR)/sitemap.xml: $(RST_FILES) $(MAKEFILE_LIST)
+$(HTML_DIR)/sitemap.xml: $(RST_FILES) $(MAKEFILE_LIST) | $(HTML_DIR)
 	{ \
 echo '<?xml version="1.0" encoding="UTF-8"?>'; \
 echo '<urlset xmlns="http://www.sitemaps.org/schemas/sitemap/0.9">'; \
@@ -167,6 +167,9 @@
 echo '</urlset>'; \
 } >$@
 
+$(HTML_DIR)/robots.txt: www/robots.txt $(MAKEFILE_LIST) | $(HTML_DIR)
+	cp $< $@
+
 ################################################################
 # Init targets.
 
diff -r a0f224c26f08 -r 9a1292a6be3e www/robots.txt
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/www/robots.txt	Fri Aug 05 12:44:42 2016 +0300
@@ -0,0 +1,6 @@
+User-agent: *
+Disallow:
+Allow: /
+
+Sitemap: http://tips.defun.work/sitemap.xml
+Host: tips.defun.work