From 4ea886cd11d42a3e5fb85ba7981acecb1cffbfa1 Mon Sep 17 00:00:00 2001 From: Rasmus Lerdorf Date: Thu, 4 Oct 2001 06:10:11 +0000 Subject: [PATCH] No point in crawling the search --- robots.txt | 1 + 1 file changed, 1 insertion(+) diff --git a/robots.txt b/robots.txt index 2bf77f79f..b1b301ec6 100644 --- a/robots.txt +++ b/robots.txt @@ -1,5 +1,6 @@ User-agent: * Disallow: /source.php +Disallow: /search.php Disallow: /manual/add-note.php Disallow: /manual/admin-notes.php Disallow: /manual/browse-errata.php