Re: [PATCH] doc: use consistent id's when generating html files

2018-02-20 Thread Jason A. Donenfeld
This time you forgot the... just kidding. Applied, thanks. ___ CGit mailing list CGit@lists.zx2c4.com https://lists.zx2c4.com/mailman/listinfo/cgit

[PATCH] doc: use consistent id's when generating html files

2018-02-20 Thread Todd Zullinger
The html documentation is generated using a2x which calls docbook tools to do the work. The generate.consistent.ids parameter ensures that when the docbook stylesheet assigns an id value to an output element it is consistent as long as the document structure has not changed. Having consistent

[PATCH] doc: use consistent id's when generating html files

2018-02-20 Thread Todd Zullinger
The html documentation is generated using a2x which calls docbook tools to do the work. The generate.consistent.ids parameter ensures that when the docbook stylesheet assigns an id value to an output element it is consistent as long as the document structure has not changed. Having consistent

Re: [PATCH] doc: use consistent id's when generating html files

2018-02-20 Thread Jason A. Donenfeld
Seems reasonable to me. Can you resubmit with your `Signed-off-by:`? Jason ___ CGit mailing list CGit@lists.zx2c4.com https://lists.zx2c4.com/mailman/listinfo/cgit

[PATCH] doc: use consistent id's when generating html files

2018-02-20 Thread Todd Zullinger
The html documentation is generated using a2x which calls docbook tools to do the work. The generate.consistent.ids parameter ensures that when the docbook stylesheet assigns an id value to an output element it is consistent as long as the document structure has not changed. Having consistent