tree 4dc6ca26ee453e3369c814c60131e608b02ea6f0
parent 322117755950a1b69129e1b9bb5d494a3ee53491
parent e605077260080584ec03be039a8c62ed2bd52e81
author Junio C Hamano <gitster@pobox.com> 1555410489 +0900
committer Junio C Hamano <gitster@pobox.com> 1555410489 +0900

Merge branch 'ma/doc-diff-doc-vs-doctor-comparison'

Dev support update to make it easier to compare two formatted
results from our documentation.

* ma/doc-diff-doc-vs-doctor-comparison:
  doc-diff: add `--cut-header-footer`
  doc-diff: support diffing from/to AsciiDoc(tor)
  doc-diff: let `render_tree()` take an explicit directory name
  Doc: auto-detect changed build flags