@@ -1003,12 +1003,13 @@ main = do
1003 Just _ -> return mbDataDir
1003 Just _ -> return mbDataDir
1005 -- assign reader and writer based on options and filenames
1005 -- assign reader and writer based on options and filenames
1006− let readerName' = if null readerName
1006+ let readerName' = case map toLower readerName of
1007+ [] -> defaultReaderName
1007− then let fallback = if any isURI sources
1008+ (if any isURI sources
1008− then "html"
1009+ then "html"
1009− else "markdown"
1010+ else "markdown") sources
1010− in defaultReaderName fallback sources
1011+ "html4" -> "html"
1011− else map toLower readerName
1012+ x -> x
1013 let writerName' = case map toLower writerName of
1014 let writerName' = case map toLower writerName of
1014 [] -> defaultWriterName outputFile
1015 [] -> defaultWriterName outputFile