Re: [racket-users] Scribble xref links in frog

2018-10-08 Thread Eric Griffis
On Mon, Oct 8, 2018 at 5:40 PM Matthew Flatt wrote: > > --redirect https://docs.racket-lang.org/local-redirect/ This works. Thanks! Eric -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving email

Re: [racket-users] Scribble xref links in frog

2018-10-08 Thread Matthew Flatt
The "main" in `--redirect-main` was meant to refer to "main installation". It can't handle links to user-scope documentation, because redirection is based on recognizing the target URL as a file path relative to the installation's "doc" directory. The `--redirect` argument should work more general

Re: [racket-users] Scribble xref links in frog

2018-10-08 Thread Eric Griffis
On Mon, Oct 8, 2018 at 1:07 PM Greg Hendershott wrote: > > Is this for .md or .scrbl sources? For .scrbl sources. > If scribble: It's been some years since I worked on this, but at a > quick glance Frog is running Scribble with --redirect-main > http://docs.racket-lang.org/ > > > https://gi

Re: [racket-users] Scribble xref links in frog

2018-10-08 Thread Eric Griffis
This is an interesting angle I hadn't yet considered. Working on a GitHub issue for frog right now. Eric On Mon, Oct 8, 2018, 2:04 PM Alexis King wrote: > IIRC, --redirect-main only applies to packages installed in installation > scope, not packages installed in user scope. I don’t know why th

Re: [racket-users] Scribble xref links in frog

2018-10-08 Thread Alexis King
IIRC, --redirect-main only applies to packages installed in installation scope, not packages installed in user scope. I don’t know why this is the case, and I don’t know if it’s a bug or a (mis)feature, I just vaguely remember running into that problem before when using --redirect-main. You migh

Re: [racket-users] Scribble xref links in frog

2018-10-08 Thread Greg Hendershott
Is this for .md or .scrbl sources? If scribble: It's been some years since I worked on this, but at a quick glance Frog is running Scribble with --redirect-main http://docs.racket-lang.org/ https://github.com/greghendershott/frog/blob/master/frog/private/read-scribble.rkt So I'm not sure wh

[racket-users] Scribble xref links in frog

2018-10-08 Thread Eric Griffis
My frog-generated blog is almost ready, but there's one detail stopping the show: Is there a way to make frog link to docs.racket-lang.org for all scribble cross-references? Exports from the "special" modules (racket/base, racket, ...) already point to docs.racket-lang.org, but cross-referencing