p.s. As another example of the current breakage: All my own packages that do have documentation, have yellow "This package needs documentation" demerit badges, at the moment.
On Sat, Feb 16, 2019 at 9:17 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. > > 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.
