Changeset 2524e4 in git for make_tar.sh


Ignore:
Timestamp:
Jan 13, 2016, 3:11:58 PM (7 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'a800fe4b3e9d37a38c5a10cc0ae9dfa0c15a4ee6')
Children:
b4e678f4ebbc2cbfb443db3205b1e086ba00bb4c
Parents:
3a9ee054137dd5a7362dff8d44f507acc52175b1
Message:
version 4-0-3 for url
File:
1 edited

Legend:

Unmodified
Added
Removed

  • make_tar.sh

    r3a9ee05 r2524e4  
    66mkdir singular-$VERSION/doc
    77cp doc/*.man singular-$VERSION/doc/.
     8cp doc/singular.idx singular-$VERSION/doc/.
    89if test -e doc/doc.tbz2
    910then
Note: See TracChangeset for help on using the changeset viewer.