Re: [PATCH v2 7/7] Makefile: add a knob to enable the use of Asciidoctor

2017-01-24 Thread Øyvind A . Holm
On 2017-01-23 04:09:17, brian m. carlson wrote: > On Mon, Jan 23, 2017 at 03:57:13AM +0100, Øyvind A. Holm wrote: > > On 2017-01-22 02:41:56, brian m. carlson wrote: > > > While Git has traditionally built its documentation using > > > AsciiDoc, some people wish to use Asciidoctor for speed or

Re: [PATCH v2 7/7] Makefile: add a knob to enable the use of Asciidoctor

2017-01-22 Thread brian m. carlson
On Mon, Jan 23, 2017 at 03:57:13AM +0100, Øyvind A. Holm wrote: > On 2017-01-22 02:41:56, brian m. carlson wrote: > > While Git has traditionally built its documentation using AsciiDoc, some > > people wish to use Asciidoctor for speed or other reasons. Add a > > Makefile knob, USE_ASCIIDOCTOR,

Re: [PATCH v2 7/7] Makefile: add a knob to enable the use of Asciidoctor

2017-01-22 Thread Øyvind A . Holm
On 2017-01-22 02:41:56, brian m. carlson wrote: > While Git has traditionally built its documentation using AsciiDoc, some > people wish to use Asciidoctor for speed or other reasons. Add a > Makefile knob, USE_ASCIIDOCTOR, that sets various options in order to > produce acceptable output. For

[PATCH v2 7/7] Makefile: add a knob to enable the use of Asciidoctor

2017-01-21 Thread brian m. carlson
While Git has traditionally built its documentation using AsciiDoc, some people wish to use Asciidoctor for speed or other reasons. Add a Makefile knob, USE_ASCIIDOCTOR, that sets various options in order to produce acceptable output. For HTML output, XHTML5 was chosen, since the AsciiDoc