Speaking of things with no docs, the abnf package seems intriguing. Does anyone have a short summary or example?
On Tue, Feb 19, 2019, 5:14 PM John Clements <[email protected]> wrote: > 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.
