#!/bin/sh OPTIONS_SPEC="\ doc-diff [options] [-- ] -- j=n parallel argument to pass to make f force rebuild; do not rely on cached results " SUBDIRECTORY_OK=1 . "$(git --exec-path)/git-sh-setup" parallel= force= while test $# -gt 0 do case "$1" in -j) parallel=$2; shift ;; -f) force=t ;; --) shift; break ;; *) usage ;; esac shift done if test -z "$parallel" then parallel=$(getconf _NPROCESSORS_ONLN 2>/dev/null) if test $? != 0 || test -z "$parallel" then parallel=1 fi fi test $# -gt 1 || usage from=$1; shift to=$1; shift from_oid=$(git rev-parse --verify "$from") || exit 1 to_oid=$(git rev-parse --verify "$to") || exit 1 cd_to_toplevel tmp=Documentation/tmp-doc-diff if test -n "$force" then rm -rf "$tmp" fi # We'll do both builds in a single worktree, which lets "make" reuse # results that don't differ between the two trees. if ! test -d "$tmp/worktree" then git worktree add --detach "$tmp/worktree" "$from" && dots=$(echo "$tmp/worktree" | sed 's#[^/]*#..#g') && ln -s "$dots/config.mak" "$tmp/worktree/config.mak" fi # generate_render_makefile generate_render_makefile () { find "$1" -type f | while read src do dst=$2/${src#$1/} printf 'all:: %s\n' "$dst" printf '%s: %s\n' "$dst" "$src" printf '\t@echo >&2 " RENDER $(notdir $@)" && \\\n' printf '\tmkdir -p $(dir $@) && \\\n' printf '\tMANWIDTH=80 man -l $< >$@+ && \\\n' printf '\tmv $@+ $@\n' done } # render_tree render_tree () { # Skip install-man entirely if we already have an installed directory. # We can't rely on make here, since "install-man" unconditionally # copies the files (spending effort, but also updating timestamps that # we then can't rely on during the render step). We use "mv" to make # sure we don't get confused by a previous run that failed partway # through. if ! test -d "$tmp/installed/$1" then git -C "$tmp/worktree" checkout "$2" && make -j$parallel -C "$tmp/worktree" \ GIT_VERSION=omitted \ SOURCE_DATE_EPOCH=0 \ DESTDIR="$PWD/$tmp/installed/$1+" \ install-man && mv "$tmp/installed/$1+" "$tmp/installed/$1" fi && # As with "installed" above, we skip the render if it's already been # done. So using make here is primarily just about running in # parallel. if ! test -d "$tmp/rendered/$1" then generate_render_makefile "$tmp/installed/$1" "$tmp/rendered/$1+" | make -j$parallel -f - && mv "$tmp/rendered/$1+" "$tmp/rendered/$1" fi } render_tree $from_oid "$from" && render_tree $to_oid "$to" && git -C $tmp/rendered diff --no-index "$@" $from_oid $to_oid