| commit | e9e0cf59085cb3b3d77c8a2962fd8b80ac4d0c9d | [log] [tgz] |
|---|---|---|
| author | Dominik Riebeling <Dominik.Riebeling@gmail.com> | Sun Jun 19 15:43:41 2011 +0000 |
| committer | Dominik Riebeling <Dominik.Riebeling@gmail.com> | Sun Jun 19 15:43:41 2011 +0000 |
| tree | 33f3f6ac491d86fdef94b9a1cd9d6bbda9bfabf5 | |
| parent | 8d9b9d247b7415f002fcc4253b4d0818e7f5fbaf [diff] |
Manual: add search box to HTML output. To allow easy searching the HTML (multi page) output add a search box that queries Google. The Google search will get restricted to the location the manual is stored. Google seems to happily accept a subfolder when specifying a domain to search. For this to work the search box has to be created dynamically with the help of a bit JavaScript. git-svn-id: svn://svn.rockbox.org/rockbox/trunk@30017 a1c6a512-1295-4272-9138-f99709370657