Is this directory needed? /usr/share/doc