dev builds
themes manual
device status forums
mailing lists
IRC bugs
dev guide

Rockbox mail archive

Subject: Re: Rockbox Manual (was Re: Turning off a song while playing oniAudiosx5)

Re: Rockbox Manual (was Re: Turning off a song while playing oniAudiosx5)

From: Dominik Riebeling <>
Date: Mon, 17 Jul 2006 15:18:45 +0200

On 7/17/06, Kitson Kelly <> wrote:
> Most likely the existing document would need be converted to HTML and then
> cleaned up. Most likely, because of the internal document structure might
> not be so good, it may not work well and need a decent amount of clean up.
> I will try and convert it this evening and see how much cleanup is needed to
> produce a cleaned up version.

You shouldn't need to clean up much -- the main problem ATM is that
htlatex tries to produce a .dvi file first (which it needs to do the
actual conversion to html) while latex for some unknown reason
generates a pdf file (which is usually generated by pdflatex). The
conversion to html is handled by tex4ht, so adjustments would be
mainly to the latex sources (and maybe some additional styles for
With an older version of tetex I was already able generating a html
version (which had still some problems with some of our macros, but I
don't think that would be a big deal) without making changes to the
latex sources, but as I'm currently using tetex 3.0 there seems
something to have changed on its behaviour. I assume pdfetex (which is
actually called by latex) detects some pdf specials and switches to
pdf mode.

As I previously wrote, I haven't had the time to look into it. As the
goal is to have the html version generated automatically (like the pdf
manuals are) tweaking the resulting html isn't a solution IMO.

You need a standard LaTeX installation (tetex 3.0 on my side). All
packages used are contained in a usual tetex distribution - when using
MikTeX on windows you may need to install the complete package. Also
you need tex4ht. I'm working on fedora core 5, which has everything
available as packages.

 - Dominik
Received on 2006-07-17

Page template was last modified "Tue Sep 7 00:00:02 2021" The Rockbox Crew -- Privacy Policy