[MPlayer-dev-eng] [DOCS]Main book id option

Diego Biurrun diego at biurrun.de
Sun Jun 29 22:09:23 CEST 2003


Dmitry Baryshkov writes:
 > While crawling into Jade support (making Jade-produced HTML output from
 > XML Docs to look like XSLT-Processing one), I found one small issue.
 > (bug? feature?)
 > The main <book> tag doesn't have id= option. With such setup, (IIRC)
 > the main document's name isn't specified and may vary.
 > Another problem is, that xsltproc (and probably Saxon) doesn't store
 > main file (with index) as _bookid_.html .It always uses index.html for
 > that file.
 > So, if nobody objects, I'll commit <book id="index" lang="..."> version
 > tomorrow evening.
 > This won't break anything for XSLT-usage (I hope), but bring
 > compatibility for Jade.
 > The main reason, why I'm asking, is that "index" - isn't a good id for a
 > book about MPlayer (OK, It's only MPlayer documentation, but you got my
 > idea). Maybe we must use id="mplayer", and create dummy index.html with
 > redirect , when using Jade?

I'd say try it.  If we do not like it or find some problems it should
not be a big deal to change it back at a later time.

Diego



More information about the MPlayer-dev-eng mailing list