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