diff options
author | 2018-04-11 04:27:07 (GMT) | |
---|---|---|
committer | 2018-04-11 04:27:07 (GMT) | |
commit | ffc638142d8bb5d70204047a7bd3bdd34b127d85 (patch) | |
tree | 317cf27c6163d608a3df30e15eecc540c7020ef4 /maintainer/create-release.sh | |
parent | 7c3422675909ea8b117f94a26170af06a265477e (diff) | |
parent | c4608f07f7e06a58d48d74b64296be663a94c604 (diff) |
Merge pull request #937 from stilor/build-autotoolize
Autotoolize crosstool-ng
Diffstat (limited to 'maintainer/create-release.sh')
-rwxr-xr-x | maintainer/create-release.sh | 33 |
1 files changed, 0 insertions, 33 deletions
diff --git a/maintainer/create-release.sh b/maintainer/create-release.sh index 6aa4cc8..498fc0a 100755 --- a/maintainer/create-release.sh +++ b/maintainer/create-release.sh @@ -1,8 +1,5 @@ #!/bin/bash -# Configurable portions -docs_git=https://github.com/crosstool-ng/crosstool-ng.github.io.git -docs_subdir=_pages/docs formats=( "bz2" "xz" ) declare -A tar_opt=( ["bz2"]=j ["xz"]=J ) digests=( md5 sha1 sha512 ) @@ -43,39 +40,9 @@ do_trace "Copying crosstool-NG" rm -rf "release/${version}" git archive --prefix="${version}/" HEAD | tar xf - -C "release" -# Clone a repository for docs. Github does not support 'git archive --remote='. -do_trace "Checking out docs" -rm -rf "release/site" -git clone --depth=1 "${docs_git}" "release/site" - # The rest of modifications are inside the release directory cd "release/${version}" -# Copy the docs instead of the MANUAL_ONLINE placeholder -do_trace "Replacing docs" -rm "docs/MANUAL_ONLINE" -mkdir -p "docs/manual" -for i in "../site/${docs_subdir}/"*.md; do - awk ' -BEGIN { skip=0; } - { - if ($0=="---") { - if (NR==1) { - skip=1 - next - } - else if (skip) { - skip=0 - next - } - } - if (!skip) { - print $0 - } - } -' < "${i}" > "docs/manual/${i##*/}" -done - # Run bootstrap before it is removed do_trace "Bootstrapping" ./bootstrap |