diff options
| author | Ben Price <ben@brprice.uk> | 2019-01-22 00:16:14 +0000 |
|---|---|---|
| committer | Ben Gamari <ben@well-typed.com> | 2019-01-23 14:07:28 -0500 |
| commit | 395c8eaaf88608aad7cf255402d60eb12a33d11c (patch) | |
| tree | a49e18308a70daf58d7dd2318150bbeb90aa40ce /docs/users_guide | |
| parent | 5fcee8aa7666fb5a843c275b49c77f9ed678fb81 (diff) | |
| download | haskell-395c8eaaf88608aad7cf255402d60eb12a33d11c.tar.gz | |
users guide: fix typesetting of pragmas
Diffstat (limited to 'docs/users_guide')
| -rw-r--r-- | docs/users_guide/conf.py | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/docs/users_guide/conf.py b/docs/users_guide/conf.py index c64e0a3693..e48992d405 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): |