>>> "Robert" == Robert Boehne <[EMAIL PROTECTED]> writes:
[...] Robert> these files are installed by "make install", Could you send the output of `make install', so we see exactly when these files are installed? Robert> which is run as a dependency of distcheck. Any ideas Robert> why this is happening? I began to look into this Robert> problem because another maintainer has not been able to Robert> run "make distcheck" since he abandoned a much older Robert> Automake. Which version worked last? [...] -- Alexandre Duret-Lutz