From 3a3f0f18e60ab63cc90f4d741aa49ff1150a37a6 Mon Sep 17 00:00:00 2001 From: Michael Stapelberg Date: Mon, 5 Nov 2018 19:32:29 +0100 Subject: [PATCH] release.sh: save docs first Otherwise, as @orestisf1993 pointed out, the saved documentation will have the wrong version number. --- release.sh | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/release.sh b/release.sh index 4a920ccc..97d91868 100755 --- a/release.sh +++ b/release.sh @@ -155,6 +155,12 @@ git checkout ${RELEASE_BRANCH} cd ${TMPDIR} git clone --quiet ${STARTDIR}/../i3.github.io cd i3.github.io + +mkdir docs/${PREVIOUS_VERSION} +tar cf - '--exclude=[0-9]\.[0-9e]*' docs | tar xf - --strip-components=1 -C docs/${PREVIOUS_VERSION} +git add docs/${PREVIOUS_VERSION} +git commit -a -m "save docs for ${PREVIOUS_VERSION}" + cp ${TMPDIR}/i3/i3-${RELEASE_VERSION}.tar.bz2* downloads/ git add downloads/i3-${RELEASE_VERSION}.tar.bz2* cp ${TMPDIR}/i3/RELEASE-NOTES-${RELEASE_VERSION} downloads/RELEASE-NOTES-${RELEASE_VERSION}.txt @@ -166,11 +172,6 @@ sed -i "s,,\n \n ${RELEASE_VERSION}\n