diff options
author | Ludovic Courtès <ludo@gnu.org> | 2019-09-07 15:37:22 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2019-09-07 18:42:08 +0200 |
commit | 7854bbeb3f88ad4747b0a4ca01021ef2741f7b4e (patch) | |
tree | 7964df1d1874730b5bdb1d45953804325280afb3 /doc/guix.texi | |
parent | c3a7dae831bffa2afd0c928ebeb3b3623fb75289 (diff) | |
download | guix-patches-7854bbeb3f88ad4747b0a4ca01021ef2741f7b4e.tar guix-patches-7854bbeb3f88ad4747b0a4ca01021ef2741f7b4e.tar.gz |
doc: Work around (htmlprag) parser issue.
* doc/build.scm (guile-lib/htmlprag-fixed): New variable.
(syntax-highlighted-html): Use it instead of GUILE-LIB.
Diffstat (limited to 'doc/guix.texi')
0 files changed, 0 insertions, 0 deletions