Changeset 7caae2 in git for Makefile.in
- Timestamp:
- Jul 28, 2005, 6:00:58 PM (19 years ago)
- Branches:
- (u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
- Children:
- c9a5d5978074339489ccaf9c810c44db7a29d58a
- Parents:
- f69e451de4b6112581107b6b03100e40d842be00
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Makefile.in
rf69e45 r7caae2 182 182 cygwin-dist-install: ${BINDIST_NAME}.tar.gz ${SHAREDIST_NAME}.tar.gz 183 183 rm -r /usr/local/Singular/${S_VERSION} 184 184 tar --directory=/usr/local -x -z -f ${SHAREDIST_NAME}.tar.gz 185 185 rm -r -f /usr/local/Singular/${S_VERSION}/html 186 186 tar --directory=/usr/local -x -z -f ${BINDIST_NAME}.tar.gz
Note: See TracChangeset
for help on using the changeset viewer.