Manual: add search box to HTML output.
commit781d9eec68bb075c7a0ea9e4e4155984ada6a8eb
authorbluebrother <bluebrother@a1c6a512-1295-4272-9138-f99709370657>
Sun, 19 Jun 2011 15:43:41 +0000 (19 15:43 +0000)
committerbluebrother <bluebrother@a1c6a512-1295-4272-9138-f99709370657>
Sun, 19 Jun 2011 15:43:41 +0000 (19 15:43 +0000)
tree33f3f6ac491d86fdef94b9a1cd9d6bbda9bfabf5
parent10b4bd2d4d0609bf4a4c6979f16e7bf570c82956
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
manual/Makefile.pdflatex
manual/gsearch.js [new file with mode: 0644]
manual/rockbox-html.cfg