Wed, 30 Aug 2017 00:32:56 +0200 | Pierre-Yves David | doc-front-page: include the index in the TOC | file | diff | annotate |
Wed, 30 Aug 2017 00:35:44 +0200 | Pierre-Yves David | doc-front-page: add a title to the part about the extension | file | diff | annotate |