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