diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2023-05-25 23:19:40 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2023-05-25 23:24:40 +0200 |
| commit | fb1c5d4df7d1479e715f9a28246ef8f92513be59 (patch) | |
| tree | 3c3489bc12d906edd8f6b7cb53311923b5017aa7 /gnu/packages/gnupg.scm | |
| parent | 085bf9cd21507ced107c2c580bd5f95832be7063 (diff) | |
| download | guix-fb1c5d4df7d1479e715f9a28246ef8f92513be59.tar.gz | |
doc: Adjust HTML patterns to correctly process Texinfo 6.8 output.
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/gnupg.scm')
0 files changed, 0 insertions, 0 deletions