Changeset fe8ff2 in git for make_tar.sh
- Timestamp:
- Oct 29, 2015, 3:05:59 PM (7 years ago)
- Branches:
- (u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'a800fe4b3e9d37a38c5a10cc0ae9dfa0c15a4ee6')
- Children:
- d336ee352c2d8b72f9e07cc944f65b3199274b37
- Parents:
- e57f485f2c88f4cf7d5d1ceff79ea4c9103d2204
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
make_tar.sh
re57f485 rfe8ff2 1 1 #!/bin/sh 2 VERSION=4.0.2p 12 VERSION=4.0.2p2 3 3 export VERSION 4 4 … … 6 6 mkdir singular-$VERSION/doc 7 7 cp doc/*.man singular-$VERSION/doc/. 8 if test -e doc/html 9 then 10 mkdir singular-$VERSION/doc/html 11 cp doc/html/* singular-$VERSION/doc/html/. 12 fi 13 if test -e doc/singular.idx 14 then 15 cp doc/singular.idx singular-$VERSION/doc/. 16 cp doc/singular.hlp singular-$VERSION/doc/. 17 fi 18 8 19 command rm singular-$VERSION/.gdbinit singular-$VERSION/*/.gdbinit singular-$VERSION/*/*/.gdbinit singular-$VERSION/*/*/*/.gdbinit 9 20 command rm singular-$VERSION/IntegerProgramming/README
Note: See TracChangeset
for help on using the changeset viewer.