Re: [PATCH 06/10] user-manual: move howto/make-dist.txt into user manual

[Linus Torvalds <torvalds@linux-foundation.org>]

On Mon, 14 May 2007, J. Bruce Fields wrote:
>
> +where release-script is a shell script that looks like:
> +
> +-------------------------------------------------
> +#!/bin/sh
> +stable="$1"
> +last="$2"
> +new="$3"
> +echo "# git-tag v$new"
> +echo "git-tar-tree v$new linux-$new | gzip -9 > ../linux-$new.tar.gz"
> +echo "git-diff-tree -p v$stable v$new | gzip -9 > ../patch-$new.gz"
> +echo "git-rev-list --pretty v$new ^v$last > ../ChangeLog-$new"
> +echo "git-rev-list --pretty=short v$new ^v$last | git-shortlog > ../ShortLog"
> +echo "git-diff-tree -p v$last v$new | git-apply --stat > ../diffstat-$new"

Actually, these days it looks more like

	#!/bin/sh
	stable="$1"
	last="$2"
	new="$3"
	echo "# git tag v$new"
	echo "git archive --prefix=linux-$new/ v$new | gzip -9 > ../linux-$new.tar.gz"
	echo "git diff v$stable v$new | gzip -9 > ../patch-$new.gz"
	echo "git log --no-merges v$new ^v$last > ../ChangeLog-$new"
	echo "git shortlog --no-merges v$new ^v$last > ../ShortLog"
	echo "git diff --stat --summary -M v$last v$new > ../diffstat-$new"

ie I'm using more modern versions of the git tools ;)

		Linus