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> wrote: > 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. > > Anyway, the main point is I still get the warnings. > > Whether it matters, I don't know, but I wanted to report it. > _________________________ > Racket Developers list: > http://lists.racket-lang.org/dev >
_________________________ Racket Developers list: http://lists.racket-lang.org/dev
