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

On Mon, May 14, 2007 at 10:44:26AM -0700, Linus Torvalds wrote:

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 ;)

Oh, good.  I'll update that.

--b.