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 http://blog.racket-lang.org/2012/11/tutorial-contributing-to-racket.html blog post, updated for the new build system. Maybe `make clean` should print, "If you don't have any changes to the tree, use `git clean -x -d -f`"? On Wed, Dec 18, 2013 at 12:03 AM, Robby Findler <ro...@eecs.northwestern.edu> wrote: > 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