diff options
author | Maxim Cournoyer <maxim.cournoyer@gmail.com> | 2021-03-20 14:19:29 -0400 |
---|---|---|
committer | Maxim Cournoyer <maxim.cournoyer@gmail.com> | 2021-03-20 15:55:18 -0400 |
commit | 25db3b2f8bb4a18e9405d2cd32aa899e0007f236 (patch) | |
tree | 31e310627e7d9a681374aa01d9dbbb1a99baa026 /po/packages/eo.po | |
parent | cec4f5f556246dd48c89234d635f0a7124f57a55 (diff) | |
download | guix-patches-25db3b2f8bb4a18e9405d2cd32aa899e0007f236.tar guix-patches-25db3b2f8bb4a18e9405d2cd32aa899e0007f236.tar.gz |
doc: Remove the guile-lib/htmlprag-fixed package.
This hotfix package is no longer necessary as the ability to parameterize the
way htmlprag tokenizes HTML was added in guile-lib 0.2.7.
* doc/build.scm (guile-lib/htmlprag-fixed): Remove variable.
(html-manual-identifier-index): Replace guile-lib/htmlprag-fixed by guile-lib,
and make set the %strict-tokenizer? parameter to #t.
(syntax-highlighted-html): Likewise.
Diffstat (limited to 'po/packages/eo.po')
0 files changed, 0 insertions, 0 deletions