diff options
-rw-r--r-- | src/Main.hs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/Main.hs b/src/Main.hs index 2f0c72ca..0c2633de 100644 --- a/src/Main.hs +++ b/src/Main.hs @@ -194,10 +194,10 @@ render flags interfaces = do ppHtmlHelpFiles title packageName visibleMods odir maybe_html_help_format [] when (Flag_GenContents `elem` flags) $ do - ppHtmlContents odir title packageName maybe_html_help_format - maybe_index_url maybe_source_urls maybe_wiki_urls - visibleMods True prologue - copyHtmlBits odir libdir css_file + ppHtmlContents odir title packageName maybe_html_help_format + maybe_index_url maybe_source_urls maybe_wiki_urls + visibleMods True prologue + copyHtmlBits odir libdir css_file when (Flag_Html `elem` flags) $ do ppHtml title packageName visibleMods odir |