From: Junio C Hamano <gitster@pobox.com>
Date: Thu, 2 Apr 2009 20:01:23 +0000 (-0700)
Subject: Dothem: no point not installing doc if we build it
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ee7126b8f173d028aefc454137de57088e6b53c3;p=thirdparty%2Fgit.git

Dothem: no point not installing doc if we build it

It is the building part that is expensive.
---

diff --git a/Dothem b/Dothem
index c503a3767d..deaf8fa9a6 100755
--- a/Dothem
+++ b/Dothem
@@ -92,16 +92,10 @@ do
 		esac &&
 
 		Meta/Make $M -- $J $dotest &&
-		case "$branch" in
-		jch)
-			test -n "$nodoc" || Meta/Make $M -- doc install-doc
-			;;
-		master | maint | next )
-			test -n "$nodoc" || Meta/Make $M -- doc
-			;;
-		*)
-			: ;;
-		esac &&
+		{
+			test -n "$nodoc" ||
+			Meta/Make $M -- doc install-doc
+		} &&
 		{
 			test z$install = znoinstall ||
 			Meta/Make $M -- install