Re: EXTRA_HEADERS versus make dist [test]

2001-05-25 Thread Tom Tromey
> "Kevin" == Kevin Ryde <[EMAIL PROTECTED]> writes: Kevin> EXTRA_HEADERS = foo.h Kevin> don't get into a "make dist". Is this meant to work? I don't think this was ever done. It is a bit confusing, I'll admit. Kevin> It did in recent cvs versions but I guess noinst_HEADERS might K

EXTRA_HEADERS versus make dist [test]

2001-05-25 Thread Kevin Ryde
In 1.4f files given as EXTRA_HEADERS = foo.h don't get into a "make dist". Is this meant to work? It did in recent cvs versions but I guess noinst_HEADERS might be the right way to do it. A bit of a test below if it is meant to work. EXTRA_HEADERS also don't seem to get into $(HEADER