Changeset 1788fe6 in git for Makefile.in
- Timestamp:
- Jun 17, 1998, 2:43:07 PM (26 years ago)
- Branches:
- (u'spielwiese', '6e5adcba05493683b94648c659a729c189812c77')
- Children:
- 42be318eceff33f3b480441df6c83da415057302
- Parents:
- ffc0b62b0473b6157785e06beaee8ed2bc701869
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Makefile.in
rffc0b6 r1788fe6 127 127 ${MKINSTALLDIRS} ${TMPDIR}/Singular/html/${S_VERSION} 128 128 ${MKINSTALLDIRS} ${TMPDIR}/info 129 ${MKINSTALLDIRS} ${TMPDIR}/ LIB/gftables129 ${MKINSTALLDIRS} ${TMPDIR}/Singular/LIB/gftables 130 130 cp Singular/LIB/*.lib ${TMPDIR}/Singular/LIB/${S_VERSION} 131 cp Singular/LIB/gftables/[0-9]* ${TMPDIR}/ LIB/gftables131 cp Singular/LIB/gftables/[0-9]* ${TMPDIR}/Singular/LIB/gftables 132 132 cd ${TMPDIR}/Singular/LIB/${S_VERSION}; \ 133 133 ${LN_S} ../gftables . … … 147 147 gzip sing.tar 148 148 cp ${TMPDIR}/sing.tar.gz ${SHAREDIST_NAME}.tar.gz 149 rm -rf ${TMPDIR}149 # rm -rf ${TMPDIR} 150 150 151 151 win-sharedist:
Note: See TracChangeset
for help on using the changeset viewer.