summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2023-05-25 23:19:40 +0200
committerLudovic Courtès <ludo@gnu.org>2023-05-25 23:24:40 +0200
commitfb1c5d4df7d1479e715f9a28246ef8f92513be59 (patch)
tree3c3489bc12d906edd8f6b7cb53311923b5017aa7 /doc
parent085bf9cd21507ced107c2c580bd5f95832be7063 (diff)
doc: Adjust HTML patterns to correctly process Texinfo 6.8 output.
Prior to ceb5ef8347ae0e3015296f5c169ab903bac526a8, (@ (gnu packages texinfo) texinfo), which is what is used here, was pointing to version 6.7. * doc/build.scm (html-manual-identifier-index)[build](worthy-entry?): Adjust patterns for Texinfo 6.8. (syntax-highlighted-html)[build](syntax-highlight): Likewise.
Diffstat (limited to 'doc')
-rw-r--r--doc/build.scm17
1 files changed, 13 insertions, 4 deletions
diff --git a/doc/build.scm b/doc/build.scm
index 8b8eed639f..0a5bddbcb6 100644
--- a/doc/build.scm
+++ b/doc/build.scm
@@ -1,5 +1,5 @@
;;; GNU Guix --- Functional package management for GNU
-;;; Copyright © 2019-2022 Ludovic Courtès <ludo@gnu.org>
+;;; Copyright © 2019-2023 Ludovic Courtès <ludo@gnu.org>
;;; Copyright © 2020 Björn Höfling <bjoern.hoefling@bjoernhoefling.de>
;;; Copyright © 2022 Maxim Cournoyer <maxim.cournoyer@gmail.com>
;;;
@@ -284,6 +284,9 @@ actual file name."
(loop rest))
((('strong _ ...) _ ...)
#t)
+ ((('span ('@ ('class "category")) ;raw Texinfo 6.8
+ (? string-or-entity?) ...) rest ...)
+ #t)
((('span ('@ ('class "symbol-definition-category"))
(? string-or-entity?) ...) rest ...)
#t)
@@ -507,10 +510,16 @@ its <pre class=\"lisp\"> blocks (as produced by 'makeinfo --html')."
;; Replace the ugly <strong> used for @deffn etc., which
;; translate to <dt>, with more stylable markup.
- (('dt (@ ('id id)) category ... ('strong thing))
+ (('dt ('@ ('id id)) ;raw Texinfo 6.8
+ ('span ('@ ('class "category")) category ...)
+ ('span ('strong thing)
+ anchor))
(highlight-definition id category thing '()))
- (('dt (@ ('id id)) category ... ('strong thing)
- (? space?) ('em args ...))
+ (('dt (@ ('id id))
+ ('span ('@ ('class "category")) category ...)
+ ('span ('strong thing)
+ (? space?) ('em args ...)
+ anchor))
(highlight-definition id category thing args))
((tag ('@ attributes ...) body ...)