Changeset 3b4929 in git for make_tar.sh

Timestamp:

Nov 17, 2021, 9:04:00 PM (17 months ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'f875bbaccd0831e36aaed09ff6adeb3eb45aeb94')

Children:

82c07a531c515ab321c775e32e600af8cfaf865f

Parents:

a15b7fe3ec918262cec68ec40637e9f1c2a4b6cf

Message:

update build scripts to 4.2.1p2

File:

• make_tar.sh (modified) (2 diffs)

make_tar.sh

@@ -6 +6 @@
 set -e
 
-TARVERSION=4.2.1p1
+TARVERSION=4.2.1p2
 VERSION=4.2.1
 BUILD_DIR=/tmp/tst2
@@ -17 +17 @@
 rm -rf singular-$VERSION
 git archive --prefix=singular-$VERSION/ HEAD |tar xf -
-mkdir singular-$VERSION/doc
-cp doc/*.* singular-$VERSION/doc/.
-mkdir singular-$VERSION/doc/images
-cp doc/images/* singular-$VERSION/doc/images/.
 
 command rm singular-$VERSION/.gdbinit singular-$VERSION/*/.gdbinit singular-$VERSION/*/*/.gdbinit singular-$VERSION/*/*/*/.gdbinit
 command rm singular-$VERSION/IntegerProgramming/README
+cp doc/doc.tbz2 singular-$VERSION/doc/.
 cd singular-$VERSION
 ./autogen.sh