Hi, all I want to change the output text for index and table of contents, which are "Index" and "Contents".
I found the value was defined in https://github.com/racket/scribble/blob/master/scribble-lib/scribble/html-render.rkt#L937, but is there a way to modify the value in my document source file? -- 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. For more options, visit https://groups.google.com/d/optout.