Merge remote-tracking branch 'origin/translation'

[lilypond.git] / Documentation / web / server / robots.txt

diff --git a/Documentation/web/server/robots.txt b/Documentation/web/server/robots.txt
index 27db672a39c61a39956b63872f66f78255104660..8213d0e215d5b6684347dd98dbb1279ae743402e 100644 (file)
--- a/Documentation/web/server/robots.txt
+++ b/Documentation/web/server/robots.txt
@@ -1,4 +1,5 @@
 # avoid 404s -- so that we can take action if any occur in /stats
+# Comment from Phil 9 July 2013 to allow tracking file through build
 
 User-agent: *
 Disallow: /doc/v1.6/
@@ -16,4 +17,9 @@ Disallow: /doc/v2.8/
 Disallow: /doc/v2.9/
 Disallow: /doc/v2.10/
 Disallow: /doc/v2.11/
+Disallow: /doc/v2.12/
 Disallow: /doc/v2.13/
+Disallow: /doc/v2.14/
+Disallow: /doc/v2.15/
+
+Disallow: /web/