Changeset fd1c508 in git


Ignore:
Timestamp:
Sep 29, 2015, 4:52:23 PM (8 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'a657104b677b4c461d018cbf3204d72d34ad66a9')
Children:
6b08c9e7f0afcbe6909179b9cb7968a5ad47451e
Parents:
724581c7eee9a3f6576255705f3fc9e764456149
Message:
make-<tar.sh: remove some unused stuff from tar
File:
1 edited

Legend:

Unmodified
Added
Removed

  • make_tar.sh

    r724581c rfd1c508  
    66mkdir singular-$VERSION/doc
    77cp doc/*.man singular-$VERSION/doc/.
     8command rm singular-$VERSION/.gdbinit singular-$VERSION/Singular/.gdbinit
     9command rm -rf singular-$VERSION/Singular/dyn_modules/bigintm/
     10command rm -rf singular-$VERSION/modules
    811tar cf singular-$VERSION.tar singular-$VERSION
    912gzip -9 -f singular-$VERSION.tar
Note: See TracChangeset for help on using the changeset viewer.