git: fix permissions on html doc directories