On Sat, Feb 16, 2019 at 9:18 PM Greg Hendershott
<greghendersh...@gmail.com> 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 <david.sto...@gmail.com> 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 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.
--
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.
