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 /nix | |
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 'nix')
0 files changed, 0 insertions, 0 deletions