On Wed, Nov 15, 2000 at 09:20:47PM -0800, Francesco Bochicchio wrote: > to have the HOWTOs (BTW, all documentation in debian is in /usr/doc, > in the process of migrating to /usr/local/doc ).
You of course mean /usr/share/doc which is now the correct place for documenation to reside. Documentation being put in /usr/doc is a bug. Cheers, Chris