Merge branch 'ma/asciidoctor-refmiscinfo'
authorJunio C Hamano <gitster@pobox.com>
Sun, 6 Oct 2019 03:25:15 +0000 (12:25 +0900)
committerJunio C Hamano <gitster@pobox.com>
Sun, 6 Oct 2019 03:25:15 +0000 (12:25 +0900)
Update support for Asciidoctor documentation toolchain.

* ma/asciidoctor-refmiscinfo:
  doc-diff: replace --cut-header-footer with --cut-footer
  asciidoctor-extensions: provide `<refmiscinfo/>`
  Doc/Makefile: give mansource/-version/-manual attributes

1  2 
Documentation/Makefile

Simple merge