diff options
author | Junio C Hamano <gitster@pobox.com> | 2007-06-16 01:22:10 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2007-06-16 01:22:10 -0700 |
commit | 5bd148bfe8a4f2df8487e029cd4ee6809bc4c963 (patch) | |
tree | 1960d9d9011cb728631b357c928745b42d096eda /Documentation/Makefile | |
parent | c5f71ad09994b46d80878ce72d1ca6f59935d952 (diff) | |
parent | c7c84859ad586ae5670224e1abc4f846f7c3a9ae (diff) | |
download | git-5bd148bfe8a4f2df8487e029cd4ee6809bc4c963.tar.gz |
Merge branch 'maint' to sync with GIT 1.5.2.2
Diffstat (limited to 'Documentation/Makefile')
-rw-r--r-- | Documentation/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Documentation/Makefile b/Documentation/Makefile index 9cef4806d1..4edf788c3a 100644 --- a/Documentation/Makefile +++ b/Documentation/Makefile @@ -37,6 +37,9 @@ man7dir=$(mandir)/man7 ASCIIDOC=asciidoc ASCIIDOC_EXTRA = +ifdef ASCIIDOC8 +ASCIIDOC_EXTRA += -a asciidoc7compatible +endif INSTALL?=install DOC_REF = origin/man |