source: git/make_tar.sh

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @8f5493   3 years hannes simplified maake_tar.sh: no INSTALL_DIR jengelh-datetimespielwiese
(edit) @063360   3 years hannes add sanity check to make_tar.sh jengelh-datetimespielwiese
(edit) @6f8707   3 years hannes fix: typo jengelh-datetimespielwiese
(edit) @4de3dc   3 years max make_tar.sh: always execute using bash; abort on error jengelh-datetimespielwiese
(edit) @2570f08   3 years hannes add INSTALL_DIR, BUILD_DIR jengelh-datetimespielwiese
(edit) @2e69cf   3 years hannes 4.1.3p2 jengelh-datetimespielwiese Release-4-1-3p2
(edit) @4da6ec   3 years hannes make_tar 4-1-3 jengelh-datetimespielwiese
(edit) @73bf78   4 years hannes version numbers jengelh-datetimespielwiese
(edit) @68df85   5 years hannes version 4.1.1, p1 jengelh-datetimespielwiese
(edit) @be94d3   5 years hannes Singular4.1.0p4 - zur Feier des Tages jengelh-datetimespielwiese
(edit) @1d8b37   6 years hannes 4.1.0p2 jengelh-datetimespielwiese
(edit) @61141fd   6 years hannes 4.0.3p5 jengelh-datetimespielwiese
(edit) @a070b84   7 years hannes Singular 4.0.3p3 jengelh-datetimespielwiese
(edit) @5afddc   7 years hannes make_tar.sh: VERSION?TARVERSION jengelh-datetimespielwiese
(edit) @2524e4   7 years hannes version 4-0-3 for url jengelh-datetimespielwiese
(edit) @978443   7 years hannes version 4.0.3 jengelh-datetimespielwiese
(edit) @1550e4d   7 years hannes changes for SINGULAR_4_1 jengelh-datetimespielwiese
(edit) @f2078e   7 years hannes add dyn_modules/*/test*sh to default tar jengelh-datetimespielwiese
(edit) @d336ee3   7 years hannes fix: installation/location of help files (idx,hlp,htm) jengelh-datetimespielwiese
(edit) @fe8ff2   7 years hannes 4-0-2p2: updated emacs files, include singular.hlp/.idx and *.htm jengelh-datetimespielwiese
(edit) @1a1f34b   7 years hannes removed unsed files, fixed make_tar.sh and make dist jengelh-datetimespielwiese
(edit) @1b9fe1   7 years hannes tests for tr. #393 jengelh-datetimespielwiese
(edit) @6b08c9e   7 years hannes make_tar.sh: call autogemsh to include configure jengelh-datetimespielwiese
(edit) @fd1c508   7 years hannes make-<tar.sh: remove some unused stuff from tar jengelh-datetimespielwiese
(add) @724581c   7 years hannes add: make_tar.sh jengelh-datetimespielwiese
Note: See TracRevisionLog for help on using the revision log.