diff options
author | Martin Ågren <martin.agren@gmail.com> | 2019-03-17 19:36:00 +0100 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2019-03-18 15:54:17 +0900 |
commit | 9a71722b4df993475553ea499fdf44dab5fed544 (patch) | |
tree | 018e4665c5eaa7fe841e10089592c104e59be94d /remote.h | |
parent | Merge git://ozlabs.org/~paulus/gitk (diff) | |
download | tgif-9a71722b4df993475553ea499fdf44dab5fed544.tar.xz |
Doc: auto-detect changed build flags
If you build the documentation switching between different options,
e.g., to build with both Asciidoc and Asciidoctor, you'll probably find
yourself running `make -C Documentation clean` either too often (wasting
time) or too rarely (getting mixed builds).
Track the flags we're using in the documentation build, similar to how
the main Makefile tracks CFLAGS and prefix flags. Track ASCIIDOC_COMMON
directly rather than its individual components -- that should make it
harder to forget to update the tracking if/when we modify the build
commands.
Signed-off-by: Martin Ågren <martin.agren@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'remote.h')
0 files changed, 0 insertions, 0 deletions