That worked! No warnings. (It must have been something outside the doc/ tree.)
Thank you for pointing out how to use `git clean -x -d -f` as a sort
of `make clean`.
Probably that tip should go in INSTALL.TXT. And in a future version of
the
Building HEAD (97ee349) today I noticed the following:
raco setup: WARNING: duplicate tag: (def ((lib pkg/db.rkt)
current-pkg-catalog-file))
raco setup: in:
/Users/greg/src/plt/racket/pkgs/racket-pkgs/racket-doc/pkg/scribblings/pkg.scrbl
raco setup: in:
I tried deleting docindex.sqlite but it left things in a weird state
-- racket/help couldn't find help for things like string-base. And
for things like (say) get-pure-port, there was a 10 second delay the
first time in each Racket session for Loading help index..., but
then it did find the topic.
On Tue, Dec 17, 2013 at 11:52 PM, Greg Hendershott
greghendersh...@gmail.com wrote:
I tried deleting docindex.sqlite but it left things in a weird state
-- racket/help couldn't find help for things like string-base.
Hopefully it was clear but I meant things like string-list, from racket/base.
If you don't have any changes to the tree, try 'git clean -x -f -d' before
running make. That will delete all of the old build products (and
everything else that isn't in the repo) and hopefully clear things up.
Robby
On Tue, Dec 17, 2013 at 10:53 PM, Greg Hendershott
greghendersh...@gmail.com
5 matches
Mail list logo
