jengelh-datetimespielwiese
|
Last change
on this file since 724581c was
724581c,
checked in by Hans Schoenemann <hannes@…>, 7 years ago
|
|
add: make_tar.sh
|
-
Property mode set to
100644
|
|
File size:
275 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 | tar cf singular-$VERSION.tar singular-$VERSION |
|---|
| 9 | gzip -9 -f singular-$VERSION.tar |
|---|
| 10 | command rm -rf singular-$VERSION |
|---|
Note: See
TracBrowser
for help on using the repository browser.
