[pok-devel] Commit fails due to rights issue

[Philipp Eppelt <philipp.eppelt@xxxxxxxxxxxxxxxxxxxxx>]

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