Is it safe to delete whole /usr/share/doc ? or is it used by any program ?