Changeset 5b6c31 in git

Timestamp:

May 23, 1997, 1:31:02 PM (26 years ago)

Author:

Olaf Bachmann <obachman@…>

Branches:

(u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')

Children:

98d771101d480909901201f82772865c6c6b5046

Parents:

d695bee0fee80eac3823a5965bcf3dd7d1054f1d

Message:

* Changed the way a distribution is made (do not delete CVS stuff any
more)


git-svn-id: file:///usr/local/Singular/svn/trunk@323 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

• Makefile.in (modified) (1 diff)

Makefile.in

@@ -44 +44 @@
         - cp -pR . ${TEMPDIR}/${DISTNAME}
         cd ${TEMPDIR}/${DISTNAME}; ${MAKE} distclean; 
-        - find ${TEMPDIR}/${DISTNAME} -name CVS -exec rm -rf {} \; 
         cd ${TEMPDIR}; tar cf ${DISTNAME}.tar ${DISTNAME} 
         rm -rf ${TEMPDIR}/${DISTNAME}