Re: GNU-style ChangeLog merge driver for Git

[Ralf Wildenhues]

* Bruno Haible wrote on Tue, Feb 12, 2008 at 12:13:41AM CET:
> 
> > This creates a file
> >   $prefix/share/dummy/javaversion.class
> > 
> > Surely that 'dummy' is weird, but the file should not be needed at all,
> > no?
> 
> I cannot reproduce this. You must have an extraneous dependency to the
> module 'javacomp' or 'javaversion' somewhere?

I don't know what I did there, but I cannot reproduce it now.  Thanks!

Cheers,
Ralf