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/dico.scm | |
| parent | 989a3916dc8967bcb7275f10452f89bc6c3389cc (diff) | |
| download | guix-version-1.4.0.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/dico.scm')
0 files changed, 0 insertions, 0 deletions