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.
I thought to rm -rf racket/doc and run make. But same warnings during raco setup. (However racket/help does work fine now. Same 10-second index load. That seems longer than in 5.3.6, but maybe I'm mistaken.) On Tue, Dec 17, 2013 at 9:51 PM, Matthew Flatt <mfl...@cs.utah.edu> wrote: > I think this is probably a leftover from the broken period starting > with commit 6ff7359212 and ending with commit 4fc71002e8 --- and a case > of things being just broken enough that the current version doesn't > detect that things need to be refreshed. > > You might try deleting > > /Users/greg/src/plt/racket/doc/docindex.sqlite > > before the next `raco setup`. > > At Tue, 17 Dec 2013 17:00:11 -0500, Greg Hendershott wrote: >> 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.scrb >> l >> raco setup: in: >> /Users/greg/src/plt/racket/pkgs/racket-pkgs/racket-doc/pkg/scribblings/pkg.scrb >> l >> raco setup: WARNING: duplicate tag: (def ((lib "pkg/db.rkt") get-catalogs)) >> raco setup: in: >> /Users/greg/src/plt/racket/pkgs/racket-pkgs/racket-doc/pkg/scribblings/pkg.scrb >> l >> raco setup: in: >> /Users/greg/src/plt/racket/pkgs/racket-pkgs/racket-doc/pkg/scribblings/pkg.scrb >> l >> raco setup: WARNING: duplicate tag: (def ((lib "pkg/db.rkt") >> get-module-pkgs)) >> raco setup: in: >> /Users/greg/src/plt/racket/pkgs/racket-pkgs/racket-doc/pkg/scribblings/pkg.scrb >> l >> raco setup: in: >> /Users/greg/src/plt/racket/pkgs/racket-pkgs/racket-doc/pkg/scribblings/pkg.scrb >> l >> raco setup: WARNING: duplicate tag: (def ((lib "pkg/db.rkt") >> get-pkg-dependencies)) >> raco setup: in: >> /Users/greg/src/plt/racket/pkgs/racket-pkgs/racket-doc/pkg/scribblings/pkg.scrb >> l >> raco setup: in: >> /Users/greg/src/plt/racket/pkgs/racket-pkgs/racket-doc/pkg/scribblings/pkg.scrb >> l >> raco setup: WARNING: duplicate tag: (def ((lib "pkg/db.rkt") >> get-pkg-modules)) >> raco setup: in: >> /Users/greg/src/plt/racket/pkgs/racket-pkgs/racket-doc/pkg/scribblings/pkg.scrb >> l >> raco setup: in: >> /Users/greg/src/plt/racket/pkgs/racket-pkgs/racket-doc/pkg/scribblings/pkg.scrb >> l >> raco setup: WARNING: duplicate tag: (def ((lib "pkg/db.rkt") get-pkg-tags)) >> raco setup: in: >> /Users/greg/src/plt/racket/pkgs/racket-pkgs/racket-doc/pkg/scribblings/pkg.scrb >> l >> raco setup: in: >> /Users/greg/src/plt/racket/pkgs/racket-pkgs/racket-doc/pkg/scribblings/pkg.scrb >> l >> raco setup: WARNING: duplicate tag: (def ((lib "pkg/db.rkt") get-pkgs)) >> raco setup: in: >> /Users/greg/src/plt/racket/pkgs/racket-pkgs/racket-doc/pkg/scribblings/pkg.scrb >> l >> raco setup: in: >> /Users/greg/src/plt/racket/pkgs/racket-pkgs/racket-doc/pkg/scribblings/pkg.scrb >> l >> ... >> >> >> and quite a few more (not all are "pkg/db.rkt") -- full output here: >> https://gist.github.com/greghendershott/8013323 >> >> This may have been happening for quite awhile but I haven't noticed. >> These is in the middle of the doc section, wouldn't be on-screen at >> the end of the build. >> >> Not sure if it matters but wanted to mention just in case. >> _________________________ >> Racket Developers list: >> http://lists.racket-lang.org/dev _________________________ Racket Developers list: http://lists.racket-lang.org/dev
