jengelh-datetimespielwiese
|
Last change
on this file since fd1c508 was
fd1c508,
checked in by Hans Schoenemann <hannes@…>, 8 years ago
|
|
make-<tar.sh: remove some unused stuff from tar
|
-
Property mode set to
100644
|
|
File size:
453 bytes
|
| Line | |
|---|
| 1 | #!/bin/sh |
|---|
| 2 | VERSION=4.0.2p1 |
|---|
| 3 | export VERSION |
|---|
| 4 | |
|---|
| 5 | git archive --prefix=singular-$VERSION/ HEAD |tar xf - |
|---|
| 6 | mkdir singular-$VERSION/doc |
|---|
| 7 | cp doc/*.man singular-$VERSION/doc/. |
|---|
| 8 | command rm singular-$VERSION/.gdbinit singular-$VERSION/Singular/.gdbinit |
|---|
| 9 | command rm -rf singular-$VERSION/Singular/dyn_modules/bigintm/ |
|---|
| 10 | command rm -rf singular-$VERSION/modules |
|---|
| 11 | tar cf singular-$VERSION.tar singular-$VERSION |
|---|
| 12 | gzip -9 -f singular-$VERSION.tar |
|---|
| 13 | command rm -rf singular-$VERSION |
|---|
Note: See
TracBrowser
for help on using the repository browser.
