diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2021-12-13 11:28:31 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2021-12-13 11:31:53 +0100 |
| commit | c946e1464d0850190f899d592bb765fa52b804c2 (patch) | |
| tree | cb818072eef0b1d6dcffeab6ef00cc4afeef96ab /gnu/packages | |
| parent | cf2251b9f7a53a3303ea71d197bef4a96997a4c3 (diff) | |
doc: Handle ' ' when syntax-highlighting HTML.
* doc/build.scm (syntax-highlighted-html)[build](entity->string): Handle " ".
Diffstat (limited to 'gnu/packages')
0 files changed, 0 insertions, 0 deletions