Re: Execute permissions needed on chm/make_chm.bat

The only way to change the permissions is by manually doing it in the server. CC'ing our system admins for a 'chmod 755 /repository/phpdoc/chm/make_chm.bat' Thanks, Nuno ----- Original Message ----- From: "Richard A. Quadling" <RichardQ@bandvulc.co.uk> To: <phpdoc@lists.php.net> Sent: Friday, February 09, 2007 4:23 PM Subject: [PHP-DOC] Execute permissions needed on chm/make_chm.bat Hi. The file /phpdoc/htmlhelp/make_chm.bat has permissions of 0755 which means that when using Cygwin to create the extended CHM file, the whole script can run within Cygwin. The file /phpdoc/chm/make_chm.bat has permissions of 0644 which means that when you run ... make chm you end up with ... [snip] chm/make_chm.bat en -D . make: execvp: chm/make_chm.bat: Permission denied make: *** [chm] Error 127 Manually chmoding the /phpdoc/chm/make_chm.bat to 0755 and then manually running ./chm/make_chm.bat works fine. As I've no idea how to set file permissions via cvs can someone do this for me? This will allow for me to help test anything that Hannes or anyone else does which affects the fancy CHM file. I've got the extended CHM file covered. Regards, Richard Quadling.