9a71722b4d
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>
17 lines
189 B
Plaintext
17 lines
189 B
Plaintext
*.xml
|
|
*.html
|
|
*.[1-8]
|
|
*.made
|
|
*.texi
|
|
*.pdf
|
|
git.info
|
|
gitman.info
|
|
howto-index.txt
|
|
doc.dep
|
|
cmds-*.txt
|
|
mergetools-*.txt
|
|
manpage-base-url.xsl
|
|
SubmittingPatches.txt
|
|
tmp-doc-diff/
|
|
GIT-ASCIIDOCFLAGS
|