This was a bug in the planet commandline's packaging code. When the
documentation was named something like doc.scrbl (doc*.scrbl, really)
then the packager was dropping it from the .plt file that it built. So
if you re-build using the currently pushed planet tool, you should be
in good shape (you c
I just persuaded Jens Axel Soegaard to submit a new gzip library on my behalf;
unfortunately, it shows up in PLaneT as having Docs: [none]:
http://planet.racket-lang.org/display.ss?package=gzip.plt&owner=soegaard
...despite this info.rkt file:
#lang setup/infotab
(define name "gzip")
(define b
2 matches
Mail list logo
