On Thu, Aug 01, 2019 at 07:41:46AM -0400, Benjamin Lerner wrote: > On 8/1/19 7:25 AM, Hendrik Boom wrote:
> > > (2) When I use include-section from the main file, the actual text in > > the main file appears first, and the included files are all saved up ane > > emitted after the text in the main file. I expected the sections to be > > included where the include-section command was instead of being saved to > > the end. > > > > Is there some way to force immediate rather than deferred inclusion? > > Text that is intended to frame a section, before and after, no > > longer does. The only way around this seems to be to put the after-text > > into the section itself, which is *not* the structure I want. > > How are you invoking scribble? If you’re using the |-html| argument (rather > than |-htmls|) or |-pdf|, I think it should be producing a single file in > the manner you expect, /unless/ you have sectioning commands in the included > file, in which case I’m not sure what it does. So I made a small case that exhibits this. Presumably I'm doing something wrong if no one else has this problem. Main file testmain.scrbl: #lang scribble/base foo foo @include-section["testsect.scrbl"] bar bar Section testsect.scrbl: #lang scribble/base onion soup The command to run scribble: scribble testmain.scrbl The resulting testmain.html file read in firefox and cut and pasted into this email: foo foo bar bar 1 onion soup Of course there's also a sidebar -- a table of contents with ??? instead of titles, because I didn't have any titles. It's quite clear that the included section comes after *all* the text in the main file, instead of being interspersed where the @include-section occurred. -- hendrik -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/20190802194102.hu6t3rrthydmpkb4%40topoi.pooq.com.
