tree c2cdfee0ae276fd46901d277525c4eaba8f5e2db
parent 4995c3d90ea2337df42a4c060109f498f210bd94
author Yuxuan 'fishy' Wang <fishywang@google.com> 1409763976 -0700
committer Dave Borowitz <dborowitz@google.com> 1409951955 -0700

Add searchbox option to replace_macros.py.

Search boxes in documentation are useful when search feature is
available, but it's useless when we host the documentation statically.
Add this option so we can generate search-free version of the
documentation.

Change-Id: I35aadee989ae04b7bbcffd67011634cd0dd085c1