Dear Philip,
Can you try again and let me know if this is fixed ?
On Wed, May 22, 2013 at 9:39 AM, Philipp Eppelt
<philipp.eppelt@xxxxxxxxxxxxxxxxxxxxx
<mailto:philipp.eppelt@xxxxxxxxxxxxxxxxxxxxx>> wrote:
    Hi,
    'make commit' fails due to a write error in
    pok/pok-repository/snapshots/__libpok-refman-current-html/__html/
    'ls -l' shows the reason: The group rights are not set appropriately.
    -rw-r--r-- 1 jrosen pok   7502 Feb  1 10:39
    threaddelayedstart_8c_source.__html
    -rw-rw-r-- 1 julien pok   7251 May 21 16:10 threadid_8c_source.html
    -rw-rw-r-- 1 julien pok   7087 May 21 16:10 threadperiod_8c_source.html
    -rw-r--r-- 1 jrosen pok   7694 Feb  1 10:39
    threadpriority_8c_source.html
    -rw-r--r-- 1 jrosen pok   7301 Feb  1 10:37 threadresume_8c_source.html
    jrosen, would you set the group rights to rw- for these three files,
    please?
    Regards,
    Philipp