diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2023-05-25 23:19:40 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2023-06-08 23:52:23 +0200 |
| commit | efc8489651e656994402843f053742ce1c58aa7a (patch) | |
| tree | 5f592500c02d5109b18cb3a3241e98dc91e132fb /.gitignore | |
| parent | 989a3916dc8967bcb7275f10452f89bc6c3389cc (diff) | |
doc: Adjust HTML patterns to correctly process Texinfo 6.8 output.version-1.4.0
Prior to ceb5ef8347ae0e3015296f5c169ab903bac526a8, (@ (gnu packages
texinfo) texinfo), which is what is used here, was pointing to version 6.7.
* doc/build.scm (html-manual-identifier-index)[build](worthy-entry?):
Adjust patterns for Texinfo 6.8.
(syntax-highlighted-html)[build](syntax-highlight): Likewise.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions