1 files changed, 27 insertions, 0 deletions
diff --git a/Documentation/howto-index.sh b/Documentation/howto-index.sh
new file mode 100755
index 0000000000..3a6afb9f6a
--- /dev/null
+++ b/Documentation/howto-index.sh
@@ -0,0 +1,27 @@
+#!/bin/sh
+
+cat <<\EOF
+GIT Howto Index
+===============
+
+Here is a collection of mailing list postings made by various
+people describing how they use git in their workflow.
+
+EOF
+
+for txt
+do
+	title=`expr "$txt" : '.*/\(.*\)\.txt$'`
+	from=`sed -ne '
+	/^$/q
+	/^From:[ 	]/{
+		s///
+		s/^[ 	]*//
+		s/[ 	]*$//
+		s/^/by /
+		p
+	}' "$txt"`
+	echo "
+	* link:$txt[$title] $from"
+
+done