Re: [PATCH 0/7] Fix more AsciiDoc/tor differences

2019-09-13 Thread Martin Ågren
On Fri, 13 Sep 2019 at 06:48, Jeff King wrote: > > On Sat, Sep 07, 2019 at 04:12:46PM +0200, Martin Ågren wrote: > > > This series roughly halves the line count of `./doc-diff --from-asciidoc > > --to-asciidoctor --cut-header-footer HEAD HEAD`. Together with my recent > > (independent) mini-series

Re: [PATCH 0/7] Fix more AsciiDoc/tor differences

2019-09-12 Thread Jeff King
On Sat, Sep 07, 2019 at 04:12:46PM +0200, Martin Ågren wrote: > This series roughly halves the line count of `./doc-diff --from-asciidoc > --to-asciidoctor --cut-header-footer HEAD HEAD`. Together with my recent > (independent) mini-series [1], I claim that Asciidoctor 1.5.5 now > processes the ma

[PATCH 0/7] Fix more AsciiDoc/tor differences

2019-09-07 Thread Martin Ågren
This series roughly halves the line count of `./doc-diff --from-asciidoc --to-asciidoctor --cut-header-footer HEAD HEAD`. Together with my recent (independent) mini-series [1], I claim that Asciidoctor 1.5.5 now processes the manpages better than AsciiDoc 8.6.10 does. Patch 6/7 actually changes th