Re: generate_html: "docbrowser" style ?

[Søren Hauberg]

Den 07-09-2014 kl. 15:55 skrev Julien Bect:
> Still doing some cleaning in the generate_html package, I just noticed
> that there is a "docbrowser" style in get_html_options ().
>
> The help text simply says : "Design corresponding to the pages in the
> documentation browser", but which "documentation browser" is that ?
>
> I can find no other mention of this style elsewhere in the package, and
> I don't know where to find the corresponding doc.css file.

As I recall (it's been a while, though), John Swensen had a 
documentation browser in his GUI, which used this style. I have yet to 
use the current Octave IDE, so I don't know if that uses this type of 
HTML documentation. It could very well be that this style is no longer 
used by anybody.

Søren