dodoc: define and export DIFF

Documentation/Makefile should do this but in the meantime...

diff --git a/dodoc.sh b/dodoc.sh
index 0c064ce42663228784d6823319248e01c9e0a1fe..e11bacd069bc2fe1c20d1621363b981420ceb7d0 100755 (executable)
--- 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