Changeset 0874066 in git for make_tar.sh


Ignore:
Timestamp:
May 27, 2021, 1:38:28 PM (3 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
Children:
0dabbb616c7d95f0c9e81e9f51b857e3a0bb9e7c
Parents:
07ccb9a9d2141ed643f9049d717d8ed7fbb2619e
Message:
adapt make_tar.sh to doc-build
File:
1 edited

Legend:

Unmodified
Added
Removed

  • make_tar.sh

    r07ccb9 r0874066  
    66set -e
    77
    8 TARVERSION=4.2.0
     8TARVERSION=4.2.0p3
    99VERSION=4.2.0
    10 BUILD_DIR=/tmp2/wawa
     10BUILD_DIR=/tmp/tst2
    1111export VERSION TARVERSION BUILD_DIR
    1212
    … …  
    1515then
    1616
     17rm -rf singular-$VERSION
    1718git archive --prefix=singular-$VERSION/ HEAD |tar xf -
    1819mkdir singular-$VERSION/doc
    19 cp doc/*.man singular-$VERSION/doc/.
    20 cp doc/singular.idx singular-$VERSION/doc/.
    21 if test -e doc/doc.tbz2
    22 then
    23   cp doc/doc.tbz2 singular-$VERSION/doc/.
    24 fi
     20cp doc/*.* singular-$VERSION/doc/.
     21mkdir singular-$VERSION/doc/images
     22cp doc/images/* singular-$VERSION/doc/images/.
    2523
    2624command rm singular-$VERSION/.gdbinit singular-$VERSION/*/.gdbinit singular-$VERSION/*/*/.gdbinit singular-$VERSION/*/*/*/.gdbinit
Note: See TracChangeset for help on using the changeset viewer.