Re: make dist fixes

[Tom Tromey]

>>>>> "Mark" == Mark Wielaard <address@hidden> writes:

Mark> It is missing include/jni.h.in and include/jni_md-x86-linux-gnu.h and I
Mark> don't know how to add them since there is some magic going on with the
Mark> include dir.

You ought to be able to use something like this in the top-level
Makefile.am:

    EXTRA_DIST = include/jni.h.in include/jni_md-x86-linux-gnu.h

I'm a little surprised that jni.h.in isn't automatically distributed.

Tom