Added searchbox to documentation.

This provides the entry point of the documentation search feature.

Change-Id: Iea2b707995c0e042829db509927384dcec7aaf43
This commit is contained in:
Yuxuan 'fishy' Wang
2013-10-31 17:26:00 -07:00
parent 6cf7d1fd8f
commit 99cb68dec4
132 changed files with 420 additions and 2 deletions

View File

@@ -214,3 +214,6 @@ Several features have not been implemented yet:
GERRIT
------
Part of link:index.html[Gerrit Code Review]
SEARCHBOX
---------