diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-07-15 11:51:43 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-07-15 12:48:49 +0200 |
| commit | 21bec78357ff5b93a14107bbeb5798923162f4b8 (patch) | |
| tree | 94d40512e5f8391b728a1c7ba68cd840dee9586f /scripts | |
| parent | cb45aad9b06ebc2b8f8b9f8786007d746f7d2ee1 (diff) | |
| download | patches-21bec78357ff5b93a14107bbeb5798923162f4b8.tar patches-21bec78357ff5b93a14107bbeb5798923162f4b8.tar.gz | |
doc: Generalize build procedures of HTML indexes.
* doc/build.scm (html-manual-indexes)[build](sxml-index): Generalize;
add a 'title' and a 'body' parameter and honor them.
(language-index): New procedure.
(write-index): Remove.
(write-html): New procedure.
Use 'write-html' and 'language-index'.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions