PKG_ADD / PKG_DEL directives duplicated on cygwin

[Julien Bect]

Hello all,

I have introduced PKG_ADD / PKG_DEL directives in the stk package (2.3.1 
release candidate 1):

http://sourceforge.net/projects/kriging/files/stk/rc/stk-2.3.1-rc1-octpkg.tar.gz

The directives are located inside stk_init.m, which copied to the 
arch-independent directory. Therefore, I would expect the corresponding 
PKG_ADD and PKG_DEL files to be created in the arch-independent directory.

This is indeed what I observe on the two platforms that I have tested 
(Ubuntu 14.10 32 bits and Win7 32 bits), but Marco Atzeri observes on 
cygwin that the same files are created both in the arch-independent 
directory and in the arch-dependent directory:

https://savannah.gnu.org/bugs/index.php?45362

Has anyone seen this problem before ? Could this be a cygwin-specific 
issue ?

@++
Julien