From e41c22c7e638e1a95336b22bb20908169847a605 Mon Sep 17 00:00:00 2001
From: Junio C Hamano <gitster@pobox.com>
Date: Mon, 30 Mar 2009 14:42:33 -0700
Subject: [PATCH] Dothem: Allow nodoc option

---
 Dothem | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

diff --git a/Dothem b/Dothem
index 7e2c5c2d97..9425b68c7d 100755
--- a/Dothem
+++ b/Dothem
@@ -4,12 +4,13 @@
 : ${BUILDBASE=../buildfarm}
 : ${branches='next master maint pu jch'}
 
-force= with_dash= M= install=
+force= with_dash= M= install= nodoc=
 while	case "$1" in
 	-pedantic) M=$1 ;;
 	-force) force=$1 ;;
 	-dash) with_dash=y ;;
 	-noinstall) install=noinstall ;;
+	-nodoc) nodoc=y ;;
 	*) break ;;
 	esac
 do
@@ -93,12 +94,12 @@ do
 		Meta/Make $M -- $J all &&
 		Meta/Make $M -- $J $dotest &&
 		case "$branch" in
-		master | maint | next )
-			Meta/Make $M -- doc
-			;;
-		jch )
+		jch)
 			Meta/Make $M -- doc install-doc
 			;;
+		master | maint | next )
+			test -z "$nodoc" || Meta/Make $M -- doc
+			;;
 		*)
 			: ;;
 		esac &&