Re: [racket-users] Scribble: is there a way to refer to a section by its number in HTML?

2017-06-22 Thread Dupéron Georges
My apologies, the code I just posted was missing a `reverse`. Here's the fixed version: @(define (sec-number→string tag #:doc [doc #f]) (delayed-element (λ (the-renderer the-part the-resolve-info) (define sec-tag (make-section-tag tag #:doc doc)) (define resolved-sec-tag

Re: [racket-users] Scribble: is there a way to refer to a section by its number in HTML?

2017-06-22 Thread Dupéron Georges
Thanks a lot! I was able to build an @sec-number-ref function. Here it is below. Matthew, since this is not a copy-paste of your code, I hope you won't see any problems if I place this in the public domain / CC0 license? @(define (sec-number→string tag #:doc [doc #f]) (delayed-element

Re: [racket-users] Scribble: is there a way to refer to a section by its number in HTML?

2017-06-22 Thread Matthew Flatt
At Thu, 8 Jun 2017 08:55:00 -0700 (PDT), Dupéron Georges wrote: > Generally it is nice to get the actual section title printed when using > @secref["mysection"]. However, in some cases it is a bit awkwards: > > Chapter State of the art presents related work. Chapter Implementation > explains in

[racket-users] Scribble: is there a way to refer to a section by its number in HTML?

2017-06-08 Thread Dupéron Georges
Generally it is nice to get the actual section title printed when using @secref["mysection"]. However, in some cases it is a bit awkwards: Chapter State of the art presents related work. Chapter Implementation explains in detail how this library is implemented. etc. I'd rather have something