Re: [racket-users] reading scribble include-section code

2019-11-30 Thread Matthew Flatt
At Fri, 29 Nov 2019 11:58:00 -0500, Hendrik Boom wrote: > I was reading Scribble's include-section code from > https://github.com/racket/scribble/blob/master/scribble-lib/scribble/base.rkt > and I can't figure out how this makes a section: [...] > > Could it be that *any* file read starting with #

[racket-users] reading scribble include-section code

2019-11-29 Thread Hendrik Boom
I was reading Scribble's include-section code from https://github.com/racket/scribble/blob/master/scribble-lib/scribble/base.rkt and I can't figure out how this makes a section: (define-syntax (include-section stx) (syntax-case stx () [(_ mod) (with-syntax ([doc-from-mod (datum->syntax