What is 'pool'? The Debian FAQ refers to doc/, project/, tools, etc. but makes no mention of pool/. I've searched the debian-user archive for 'pool', and only found incidental reference to it.
-- Ron Peterson Network & Systems Manager Mount Holyoke College GPG and other info at http://www.mtholyoke.edu/~rpeterso
