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 /doc/guix.texi | |
| parent | cec4f5f556246dd48c89234d635f0a7124f57a55 (diff) | |
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 'doc/guix.texi')
0 files changed, 0 insertions, 0 deletions