Andrew's git - gitweb.git/blob - Documentation/doc-diff

   1#!/bin/sh
   2
   3OPTIONS_SPEC="\
   4doc-diff [options] <from> <to> [-- <diff-options>]
   5--
   6j=n     parallel argument to pass to make
   7f       force rebuild; do not rely on cached results
   8"
   9SUBDIRECTORY_OK=1
  10. "$(git --exec-path)/git-sh-setup"
  11
  12parallel=
  13force=
  14while test $# -gt 0
  15do
  16        case "$1" in
  17        -j)
  18                parallel=$2; shift ;;
  19        -f)
  20                force=t ;;
  21        --)
  22                shift; break ;;
  23        *)
  24                usage ;;
  25        esac
  26        shift
  27done
  28
  29if test -z "$parallel"
  30then
  31        parallel=$(getconf _NPROCESSORS_ONLN 2>/dev/null)
  32        if test $? != 0 || test -z "$parallel"
  33        then
  34                parallel=1
  35        fi
  36fi
  37
  38test $# -gt 1 || usage
  39from=$1; shift
  40to=$1; shift
  41
  42from_oid=$(git rev-parse --verify "$from") || exit 1
  43to_oid=$(git rev-parse --verify "$to") || exit 1
  44
  45cd_to_toplevel
  46tmp=Documentation/tmp-doc-diff
  47
  48if test -n "$force"
  49then
  50        rm -rf "$tmp"
  51fi
  52
  53# We'll do both builds in a single worktree, which lets "make" reuse
  54# results that don't differ between the two trees.
  55if ! test -d "$tmp/worktree"
  56then
  57        git worktree add -f --detach "$tmp/worktree" "$from" &&
  58        dots=$(echo "$tmp/worktree" | sed 's#[^/]*#..#g') &&
  59        ln -s "$dots/config.mak" "$tmp/worktree/config.mak"
  60fi
  61
  62# generate_render_makefile <srcdir> <dstdir>
  63generate_render_makefile () {
  64        find "$1" -type f |
  65        while read src
  66        do
  67                dst=$2/${src#$1/}
  68                printf 'all:: %s\n' "$dst"
  69                printf '%s: %s\n' "$dst" "$src"
  70                printf '\t@echo >&2 "  RENDER $(notdir $@)" && \\\n'
  71                printf '\tmkdir -p $(dir $@) && \\\n'
  72                printf '\tMANWIDTH=80 man -l $< >$@+ && \\\n'
  73                printf '\tmv $@+ $@\n'
  74        done
  75}
  76
  77# render_tree <dirname> <committish>
  78render_tree () {
  79        # Skip install-man entirely if we already have an installed directory.
  80        # We can't rely on make here, since "install-man" unconditionally
  81        # copies the files (spending effort, but also updating timestamps that
  82        # we then can't rely on during the render step). We use "mv" to make
  83        # sure we don't get confused by a previous run that failed partway
  84        # through.
  85        if ! test -d "$tmp/installed/$1"
  86        then
  87                git -C "$tmp/worktree" checkout "$2" &&
  88                make -j$parallel -C "$tmp/worktree" \
  89                        GIT_VERSION=omitted \
  90                        SOURCE_DATE_EPOCH=0 \
  91                        DESTDIR="$PWD/$tmp/installed/$1+" \
  92                        install-man &&
  93                mv "$tmp/installed/$1+" "$tmp/installed/$1"
  94        fi &&
  95
  96        # As with "installed" above, we skip the render if it's already been
  97        # done.  So using make here is primarily just about running in
  98        # parallel.
  99        if ! test -d "$tmp/rendered/$1"
 100        then
 101                generate_render_makefile "$tmp/installed/$1" "$tmp/rendered/$1+" |
 102                make -j$parallel -f - &&
 103                mv "$tmp/rendered/$1+" "$tmp/rendered/$1"
 104        fi
 105}
 106
 107render_tree $from_oid "$from" &&
 108render_tree $to_oid "$to" &&
 109git -C $tmp/rendered diff --no-index "$@" $from_oid $to_oid