diff options
author | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2023-05-27 17:16:45 +0200 |
---|---|---|
committer | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2023-05-27 17:16:45 +0200 |
commit | 52b4ce275fda390172fcce9797300ba0d5a89d59 (patch) | |
tree | bc65643e9756d6fcc3d8dd58f8b50d59ea3f0ee5 /doc/build.scm | |
parent | 00d8a4116427fb69f79e334bfbf91920a0d871d2 (diff) | |
parent | b96b82bcd4bc24529941ff74a91432481f1a71b5 (diff) |
Merge branch 'master' into gnome-team
Diffstat (limited to 'doc/build.scm')
-rw-r--r-- | doc/build.scm | 17 |
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 ...) |