-dist: realclean docs
- @rm -fr ${DISTDIR} ${DIST_TARBALL} ${DIST_ZIP}
- @mkdir ${DISTDIR}
- @cp -a ${SOURCE_FILES} ${DISTDIR}
- @find ${DISTDIR} -type d -name CVS |xargs rm -rf
- @find ${DISTDIR} -type f -name .cvsignore |xargs rm -rf
- @tar czf ${DIST_TARBALL} ${DISTDIR}
- @find ${DISTDIR} -type f -exec unix2dos -q {} \;
- @zip -rq ${DIST_ZIP} ${DISTDIR}
- @rm -r ${DISTDIR}
+SOURCE_FILES=src doc examples Makefile uffi.system uffi.debian.system \
+ benchmarks COPYRIGHT README TODO INSTALL ChangeLog NEWS \
+ test-examples.cl set-logical.cl