Remove bold leftover reference to "search.html".

(This was using the custom google search, which is no longer maintained.)

Closes PR 12671.
This commit is contained in:
Eli Barzilay 2012-04-02 19:46:49 -04:00
parent 8f2ea07ec5
commit 8934b64beb

View File

@ -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"
#----