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. At Thu, 1 Oct 2015 23:01:00 -0700, Alexis King wrote: > I’ve set up a system to automatically build docs for my “envy” package in CI. > I’m passing the --redirect-main flag to point all the external links to > http://pkg-build.racket-lang.org/doc/. This works great for all the links > that > point to references in the core distribution, but for some reason, the link > to > the sweet-exp docs isn’t converted: it still generates a link to a local path. > > This is the command I’m using to render the docs: > scribble +m --redirect-main http://pkg-build.racket-lang.org/doc/ --html > --dest ./docs ./envy/scribblings/envy.scrbl > > The behavior I’m describing is visible here: > https://lexi-lambda.github.io/envy/envy.html#%28part._syntax%29 > > For some reason, this behavior only seems to happen on CI. When I run that > same command locally, the link is redirected properly. Are the docs not > getting properly installed and/or linked into the index when sweet-exp is > installed as a dependency by raco pkg? Is this a bug, or am I missing > something? > > Alexis > > -- > 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. -- 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.
