diff options
Diffstat (limited to 'utils/mkUserGuidePart/Options/Linking.hs')
| -rw-r--r-- | utils/mkUserGuidePart/Options/Linking.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/utils/mkUserGuidePart/Options/Linking.hs b/utils/mkUserGuidePart/Options/Linking.hs index 14c4783585..2348daa3f4 100644 --- a/utils/mkUserGuidePart/Options/Linking.hs +++ b/utils/mkUserGuidePart/Options/Linking.hs @@ -94,7 +94,7 @@ linkingOptions = } , flag { flagName = "-no-rtsopts-suggestions" , flagDescription = - "Don't print RTS suggestions about linking with ``-rtsopts``." + "Don't print RTS suggestions about linking with :ghc-flag:`rtsopts`." , flagType = DynamicFlag } , flag { flagName = "-no-link" @@ -123,7 +123,7 @@ linkingOptions = } , flag { flagName = "-ticky" , flagDescription = - "For linking, this simply implies ``-debug``; "++ + "For linking, this simply implies :ghc-flag:`debug`; "++ "see :ref:`ticky-ticky`." , flagType = DynamicFlag } |