From 93834fd3f97715fef58a286e1f07eeabbb46509a Mon Sep 17 00:00:00 2001
From: Junio C Hamano <gitster@pobox.com>
Date: Wed, 27 Apr 2011 14:16:01 -0700
Subject: [PATCH] dodoc: define and export DIFF

Documentation/Makefile should do this but in the meantime...
---
 dodoc.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/dodoc.sh b/dodoc.sh
index 0c064ce426..e11bacd069 100755
--- a/dodoc.sh
+++ b/dodoc.sh
@@ -86,6 +86,9 @@ case "$NID" in
 	;;
 esac
 
+DIFF=diff
+export DIFF
+
 make >./:html.log 2>&1 \
 	-C Documentation -j 2 $dd \
 	WEBDOC_DEST="$DOCREPO/doc-html-inst" install-webdoc || exit
-- 
2.47.3