151
154
DISTFILES = $(DIST_COMMON) $(DIST_SOURCES) $(TEXINFOS) $(EXTRA_DIST)
154
157
distdir = $(top_distdir)/$(PACKAGE)-$(VERSION)
159
162
dir=`echo "$$file" | sed -e 's,/[^/]*$$,,'`; \
160
163
if test "$$dir" != "$$file" && test "$$dir" != "."; then \
163
169
if test -d $$d/$$file; then \
167
175
test -f $(distdir)/$$file \
168
176
|| cp -p $$d/$$file $(distdir)/$$file \