From: Junio C Hamano <gitster@pobox.com>
Date: Mon, 30 Mar 2009 21:42:33 +0000 (-0700)
Subject: Dothem: Allow nodoc option
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e41c22c7e638e1a95336b22bb20908169847a605;p=thirdparty%2Fgit.git

Dothem: Allow nodoc option
---

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 &&