> > BTW: How come that there is a gdb dir under /usr/doc/ but there is not one > > under /usr/share/doc/ ? What is the exact policy about /usr/doc/ and > > /usr/share/doc/ ? > /usr/doc was the traditional location of the documentation. This has changed > since Debian tries to get conform to the File-Hierarchy-Standard (FHS) which > demands everything which is shareable (like docs) under /usr/share. >
Then every package that does not have all its documentation in /usr/share/doc/ should be filed a bug against? Same goes for man pages and info files? Actually, is not this makes /usr/doc obsolete?