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 /gnu/packages/benchmark.scm | |
parent | 989a3916dc8967bcb7275f10452f89bc6c3389cc (diff) | |
download | guix-efc8489651e656994402843f053742ce1c58aa7a.tar.gz |
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 'gnu/packages/benchmark.scm')
0 files changed, 0 insertions, 0 deletions