Yep, that was it! Thanks a lot for identifying the problem. I’m now explicitly installing into installation scope, which solves the problem.
It does seem surprising that --redirect-main doesn’t redirect references to documentation in user scope. It would be nice if that were changed so that both scopes are included, but if that’s too much work, a note in the docs for the `scribble` tool would suffice. > On Oct 2, 2015, at 4:41 AM, Matthew Flatt <mfl...@cs.utah.edu> wrote: > > The `--redirect-main` flag redirects links that go to documentation in > installation scope only. > > Locally, I imagine you're working from a development build out of the > main repo; in that case, a top-level `make` sets installation scope as > the default, so "sweep-exp" likely would be in installation scope. When > building on CI, it looks like you're using a snapshot, which is > configured (like a release) to have user scope as the default; also, a > path with > > .../.racket/snapshot/pkgs/.... > > looks like a user-scope path. > > I'm not sure that constraining the redirections to installation-scope > documentation is the right idea --- that flag pre-dates the package > system --- but hopefully it explains what's happening. -- 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.
