diff --git a/robots.txt b/robots.txt
index 3b4230762bcb122bed2fc4fbb3a19e30d69c997a..87afe90274b88c869058480c2a9d3147180ed2f0 100644
--- a/robots.txt
+++ b/robots.txt
@@ -1,3 +1,5 @@
+# $Id$
+#
 # robots.txt
 #
 # This file aims to prevent the crawling and idexing of certain parts