[Gmp-commit] /var/hg/www: Ban robots from obsolete manuals.

[mercurial at gmplib.org]

details:   /var/hg/www/rev/e39b6c467621
changeset: 122:e39b6c467621
user:      Torbjorn Granlund <tege at gmplib.org>
date:      Thu Nov 28 14:39:45 2013 +0100
description:
Ban robots from obsolete manuals.

diffstat:

 robots.txt |  15 +++++++++++++++
 1 files changed, 15 insertions(+), 0 deletions(-)

diffs (22 lines):

diff -r 005a98852335 -r e39b6c467621 robots.txt
--- a/robots.txt	Tue Nov 19 16:02:52 2013 +0100
+++ b/robots.txt	Thu Nov 28 14:39:45 2013 +0100
@@ -1,3 +1,18 @@
 User-agent: *
 
 Disallow: /devel/testmachines
+Disallow: /devel/lcov
+Disallow: /manual-4.2.1
+Disallow: /manual-4.2.2
+Disallow: /manual-4.2.4
+Disallow: /manual-4.3.0
+Disallow: /manual-4.3.2
+Disallow: /manual-5.0.0
+Disallow: /manual-5.0.1
+Disallow: /manual-5.0.2
+Disallow: /manual-5.0.3
+Disallow: /manual-5.0.4
+Disallow: /manual-5.0.5
+Disallow: /manual-5.1.0
+Disallow: /manual-5.1.1
+Disallow: /manual-5.1.2