487
493
DISTFILES = $(DIST_COMMON) $(DIST_SOURCES) $(TEXINFOS) $(EXTRA_DIST)
490
496
distdir = $(top_distdir)/$(PACKAGE)-$(VERSION)
495
501
dir=`echo "$$file" | sed -e 's,/[^/]*$$,,'`; \
496
502
if test "$$dir" != "$$file" && test "$$dir" != "."; then \
499
508
if test -d $$d/$$file; then \
503
514
test -f $(distdir)/$$file \
504
515
|| cp -p $$d/$$file $(distdir)/$$file \