191
198
DISTFILES = $(DIST_COMMON) $(DIST_SOURCES) $(TEXINFOS) $(EXTRA_DIST)
194
201
distdir = $(top_distdir)/$(PACKAGE)-$(VERSION)
199
206
dir=`echo "$$file" | sed -e 's,/[^/]*$$,,'`; \
200
207
if test "$$dir" != "$$file" && test "$$dir" != "."; then \
203
213
if test -d $$d/$$file; then \
207
219
test -f $(distdir)/$$file \
208
220
|| cp -p $$d/$$file $(distdir)/$$file \