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

Reply via email to