diff options
| author | Dominik Riebeling <Dominik.Riebeling@gmail.com> | 2011-06-19 15:43:41 +0000 |
|---|---|---|
| committer | Dominik Riebeling <Dominik.Riebeling@gmail.com> | 2011-06-19 15:43:41 +0000 |
| commit | e9e0cf59085cb3b3d77c8a2962fd8b80ac4d0c9d (patch) | |
| tree | 33f3f6ac491d86fdef94b9a1cd9d6bbda9bfabf5 /manual/Makefile.pdflatex | |
| parent | 8d9b9d247b7415f002fcc4253b4d0818e7f5fbaf (diff) | |
| download | rockbox-e9e0cf59085cb3b3d77c8a2962fd8b80ac4d0c9d.tar.gz rockbox-e9e0cf59085cb3b3d77c8a2962fd8b80ac4d0c9d.zip | |
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
Diffstat (limited to 'manual/Makefile.pdflatex')
| -rw-r--r-- | manual/Makefile.pdflatex | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/manual/Makefile.pdflatex b/manual/Makefile.pdflatex index b5e30dedf6..c351f82fb5 100644 --- a/manual/Makefile.pdflatex +++ b/manual/Makefile.pdflatex @@ -17,6 +17,7 @@ buildmanual: rockbox-build.tex pdf buildhtml: rockbox-build.tex @mkdir -p $(OBJDIR)/html @$(HTLATEX) $(DOCUMENT) "$(HTOPTS1),$(SPLITHTML)" $(HTOPTS2) $(HTOPTS3) + @cp --parent `cat $(OBJDIR)/html/*.html | sed -e '/\.js/!d;s/.*\"\(.*\.js\)\".*/\1/g;/</d' | uniq` $(OBJDIR)/html @cp --parent `cat $(OBJDIR)/html/*.html | sed -e '/[pj][np]g/!d;s/.*\"\(.*\.[pj][np]g\)\".*/\1/g;/</d'` $(OBJDIR)/html @cp -r $(OBJDIR)/html $(OBJDIR)/../ |