It's a bug in the pkg-build process, and I should have it fixed for the
next build.

At Tue, 11 Apr 2017 18:11:08 -0400, Tony Garnock-Jones wrote:
> Thanks, Philip -- that could well be a bug in the catalog UI. I can't
> check it out until after the OOPSLA deadline, so I've filed
> https://github.com/tonyg/racket-pkg-website/issues/42 to keep track of
> it until then.
> 
> Regards,
>   Tony
> 
> 
> On 04/11/2017 01:21 PM, Philip McGrath wrote:
> > I recently posted a package "recaptcha", and I noticed a problem with
> > the documentation link that I'm not sure how to fix. Google stylizes the
> > name as reCAPTCHA, and I've capitalized it that way in the title of the
> > documentation, but I called the actual package "recaptcha" so that you
> > can "raco pkg install recaptcha" and "(require recaptcha)" as Racketeers
> > would expect.
> > 
> > The link from docs.racket-lang.org <http://docs.racket-lang.org>
> > correctly points to http://docs.racket-lang.org/reCAPTCHA/index.html;
> > however, from http://pkgs.racket-lang.org, the link points
> > to http://docs.racket-lang.org/recaptcha/index.html, which shows a 404
> > error page. Is there something I need to specify in the package metadata
> > to make this work correctly? Or is this a problem with the catalog?
> > 
> > Thanks,
> > Philip
> > 
> > -- 
> > 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]
> > <mailto:[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.

Reply via email to