Just an FYI: I replaced the copies of the help files that were in externals/build/doc with a makefile that copies the helpfiles from their source into that directory. I added a line to externals/build/linux/makefile to use that makefile so the debian packages should still get their doc files.
.hc
________________________________________________________________________ ____
There is no way to peace, peace is the way. -A.J. Muste