From 395c8eaaf88608aad7cf255402d60eb12a33d11c Mon Sep 17 00:00:00 2001 From: Ben Price Date: Tue, 22 Jan 2019 00:16:14 +0000 Subject: users guide: fix typesetting of pragmas --- docs/users_guide/conf.py | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to 'docs/users_guide/conf.py') 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): -- cgit v1.2.1