From 8934b64beb4d7c3b8a471e4eb53c2282d6466381 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Mon, 2 Apr 2012 19:46:49 -0400 Subject: [PATCH] Remove bold leftover reference to "search.html". (This was using the custom google search, which is no longer maintained.) Closes PR 12671. --- collects/meta/build/build | 2 -- 1 file changed, 2 deletions(-) diff --git a/collects/meta/build/build b/collects/meta/build/build index 060abc2e49..50b7702829 100755 --- a/collects/meta/build/build +++ b/collects/meta/build/build @@ -2114,8 +2114,6 @@ BUILD_PRE_WEB() { move_from_maindir "$docdir" html_file_row "$docdir" "Documentation files" #---- - html_file_row "search.html" "Search the current sources and docs" - #---- move_from_maindir "$bindir" html_file_row "$bindir" "Platform-specific binary files" #----