diff options
Diffstat (limited to 'utils/mkUserGuidePart/Main.hs')
| -rw-r--r-- | utils/mkUserGuidePart/Main.hs | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/utils/mkUserGuidePart/Main.hs b/utils/mkUserGuidePart/Main.hs index dd72c270d5..11283c0b95 100644 --- a/utils/mkUserGuidePart/Main.hs +++ b/utils/mkUserGuidePart/Main.hs @@ -76,11 +76,6 @@ flagsTable theFlags = inlineCode :: String -> ReST inlineCode s = "``" ++ s ++ "``" --- | Generate a ReST substitution definition. -substitution :: String -> ReST -> ReST -substitution substName content = - unlines [".. |" ++ substName ++ "| ", content] - heading :: Char -> String -> ReST heading chr title = unlines [ title |