Andrea suggested it would be nice to redirect the search box to a local
search page which then let the user submit a site-restricted search to
google for website vs wiki vs mailing lists.
I took a slightly different approach here, and instead simply popup an
extra set of radio buttons below the main search field. This lets the
user select the site to search straightaway without the intermediate
page.
Changed in v2:
- Add missing rules for installing javascript
- Use mediawiki search
- Search dev & users lists separately
- Whitespace fixes
Daniel P. Berrangé (3):
docs: ensure javascript files are included in dist & install rules
docs: move javascript logic into a standalone file
docs: add advanced search capabilities
docs/Makefile.am | 15 +++++++++-
docs/js/main.js | 77 ++++++++++++++++++++++++++++++++++++++++++++++++
docs/libvirt.css | 39 ++++++++++++++++++++++++
docs/mobile.css | 7 +++++
docs/page.xsl | 51 ++++++++++----------------------
5 files changed, 152 insertions(+), 37 deletions(-)
create mode 100644 docs/js/main.js
--
2.20.1