Looks like… this is still the case? Specifically, reloading pkgs.racket-lang.org still shows that all packages are missing documentation. I thought I’d seen a message suggesting that this was resolved, but it appears I was mistaken.
John > On Feb 16, 2019, at 8:08 PM, David Storrs <[email protected]> wrote: > > On Sat, Feb 16, 2019 at 9:18 PM Greg Hendershott > <[email protected]> wrote: >> >> The package web site seems to think no packages have been built: The >> "Most recent build results" item is blank for every of the dozen >> packages I just checked. > > Ah, that would do it. Thanks. > >> >> So I think that's one problem. >> >> >> When that's working normally, as it usually does, there are two levels >> of refresh: >> >> 1. The package catalog server points to e.g. your most recent commit >> on Git{Hub Lab}.com. You push a new commit. The package catalog might >> take an hour before it notices. This is the thing you can "kick" by >> logging in and choosing "Rescan my packges". >> >> 2. The build server runs daily. This is what builds your docs as part >> of building your package. So, even if it were working, now, it might >> take 24 hours. There's no way to nudge this AFAIK. >> >> >> On Sat, Feb 16, 2019 at 8:21 PM David Storrs <[email protected]> wrote: >>> >>> Do I need to do something particular to make the package server notice >>> my documentation? I've got a scribblings/struct-plus-plus.scrbl file >>> but the package server is still listing it as "needs documentation". >>> >>> Separate but related, when I install a module and it builds the >>> documentation, is there a way to make it integrate with the built-in >>> docs so that I can load it in the browser and search? >>> >>> -- >>> 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 [email protected]. >>> 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 [email protected]. >> 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 [email protected]. > 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 [email protected]. For more options, visit https://groups.google.com/d/optout.
