[commit: ghc] wip/ghc-8.8-merges: users guide: fix typesetting of pragmas (4d2b804)

git at git.haskell.org git at git.haskell.org
Thu Feb 21 15:10:32 UTC 2019


Repository : ssh://git@git.haskell.org/ghc

On branch  : wip/ghc-8.8-merges
Link       : http://ghc.haskell.org/trac/ghc/changeset/4d2b804f73b4d4f38c5108ed248569312104705c/ghc

>---------------------------------------------------------------

commit 4d2b804f73b4d4f38c5108ed248569312104705c
Author: Ben Price <ben at brprice.uk>
Date:   Tue Jan 22 00:16:14 2019 +0000

    users guide: fix typesetting of pragmas


>---------------------------------------------------------------

4d2b804f73b4d4f38c5108ed248569312104705c
 docs/users_guide/conf.py | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/docs/users_guide/conf.py b/docs/users_guide/conf.py
index c64e0a3..e48992d 100644
--- a/docs/users_guide/conf.py
+++ b/docs/users_guide/conf.py
@@ -147,9 +147,10 @@ def parse_ghci_cmd(env, sig, signode):
     return name
 
 def parse_pragma(env, sig, signode):
-    name = sig.split(' ')[0]
-    signode += addnodes.desc_name('{-# '+name, sig + ' #-}')
-    return name
+    idx = sig.split(' ')[0]
+    name = '{-# ' + sig + ' #-}'
+    signode += addnodes.desc_name(name, name)
+    return idx
 
 def parse_flag(env, sig, signode):
 



More information about the ghc-commits mailing list