[Bug 101093] New - Doc directory does not have other permissions

[bugzilla-daemon widget gnome org]

http://bugzilla.gnome.org/show_bug.cgi?id=101093

           Summary: Doc directory does not have other permissions
           Product: GARNOME
           Version: unspecified
                OS: other
        OS Details: Debian testing/unstable
            Status: NEW
 Status Whiteboard:
          Keywords:
        Resolution:
          Severity: normal
          Priority: Normal
         Component: general
        AssignedTo: jdub perkypants org
        ReportedBy: bulk thoughtworx com


The doc directory does not have "other" permissions set to +rx.

Since all the other directories have this set I think it's reasonable for
doc too.