[plt-dev] Scribble "problem"

From: Matthew Flatt (mflatt at cs.utah.edu)
Date: Fri Mar 6 12:35:32 EST 2009

At Fri, 6 Mar 2009 09:41:51 -0700, Jay McCarthy wrote:
> In the HTML renderer, the 'toc style isn't observed if 'multi-page (or
> --htmls) isn't also on, but if either of those is used, there is no
> way to keep top-level sections on one page.

I've added support for a 'non-toc style that applies just to the top
page for --htmls rendering.

Posted on the dev mailing list.