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 might try moving 
everything into installation scope to see if that changes things.

> On Oct 8, 2018, at 15:07, Greg Hendershott <greghendersh...@gmail.com> wrote:
> 
> 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 what's going on. Maybe easier (for me anyway) if you
> open an issue there to discuss and investigate more?
> 
> p.s. It would probably be nice to update the docs.racket-lang.org URL
> to use https, if that's an easy PR you wanted to do?
> 
> On Mon, Oct 8, 2018 at 2:50 PM Eric Griffis <ded...@gmail.com> wrote:
>> 
>> 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 into other
>> locally-installed packages produces relative URLs to the local docs.
>> 
>> In the Scribble docs (7.2 Handling Cross-References), I found this:
>> 
>>    The --redirect-main flag for HTML output redirects links to the local
>>    installation’s documentation to a given URL, such as
>>    http://docs.racket-lang.org/.
>> 
>> Is there some way to pass this flag or emulate its behavior in frog?
>> 
>> Eric

-- 
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.

Reply via email to