Bug#803342: SUCCESS!

[Dominique Brazziel <dbrazziel@snet.net>]

	The weekly cron job ran successfully, and the
a new 'documents.index' file was created.  The old index
size was 69,336,284, the new size was 23,835,082.
The larger size of the old index could be due to multiple
manual runs of index++ couple with some packages which may have
been removed since the index was created.

	Some process accounting statistics from the weekly run:

lastcomm -f ./pacct.0 | grep index++
index++                root     pts/0      2.39 secs Fri Dec 25 17:54
index++                root     __        19.39 secs Fri Dec 25 11:28
index++                root     __        25.88 secs Fri Dec 25 11:27

	Now to see if I can manually add the problem files to
the index using the method described in 
https://bugs.debian.org/cgi-bin/bugreport.cgi?msg=12;bug=803342;att=0