what to do about de docs for 5.23 release



Hi Robert,
If you are asking about build-index.lisp (it's not clear), I think it  
is rash to rush this into the 5.23 release, although I believe it will  
solve all the offset-related issues with the de documentation.

At the moment, I have incorporated folks' suggestions and I am now  
writing a testsuite. Realistically, it will be the new year before I  
have a chance to incorporate these changes into my sandbox's build  
process.

Some questions:
-where should build-index.lisp go? I'm thinking doc/info, but src  
makes sense, too, because the online help system is a core component.

-where should cl-pprce go? as a directory in src? share?

Leo

-- 
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.