doc: Work around (htmlprag) parser issue.
authorLudovic Courtès <ludo@gnu.org>
Sat, 7 Sep 2019 13:37:22 +0000 (15:37 +0200)
committerLudovic Courtès <ludo@gnu.org>
Sat, 7 Sep 2019 16:42:08 +0000 (18:42 +0200)
commit7854bbeb3f88ad4747b0a4ca01021ef2741f7b4e
tree7964df1d1874730b5bdb1d45953804325280afb3
parentc3a7dae831bffa2afd0c928ebeb3b3623fb75289
doc: Work around (htmlprag) parser issue.

* doc/build.scm (guile-lib/htmlprag-fixed): New variable.
(syntax-highlighted-html): Use it instead of GUILE-LIB.
doc/build.scm