From: Phil Holmes <mail@philholmes.net>
Date: Tue, 9 Jul 2013 14:33:55 +0000 (+0100)
Subject: Add comment to robots.txt to check where it goes
X-Git-Tag: release/2.17.22-1~12
X-Git-Url: https://git.donarmstrong.com/?a=commitdiff_plain;h=45c1e88d99cd8b0a89a1facb6f44aaa82414ab03;p=lilypond.git

Add comment to robots.txt to check where it goes
---

diff --git a/Documentation/web/server/robots.txt b/Documentation/web/server/robots.txt
index edc1728233..ccc8ed800d 100644
--- 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/