@@ -773,9 +773,9 @@ parseInline (Elem e) =
773 then singleQuoted contents
773 then singleQuoted contents
774 else doubleQuoted contents
774 else doubleQuoted contents
775 "code" -> return $ code $ strContent e -- TODO attrs
775 "code" -> return $ code $ strContent e -- TODO attrs
776− "filename" -> return $ code $ strContent e -- TODO attrs
776+ "filename" -> return $ codeWith ("",["filename"],[]) $ strContent e -- TODO attrs
777 "literal" -> return $ code $ strContent e -- TODO attrs
777 "literal" -> return $ code $ strContent e -- TODO attrs
778− "option" -> return $ code $ strContent e -- TODO attrs
778+ "option" -> return $ codeWith ("",["option"],[]) $ strContent e -- TODO attrs
779 "markup" -> return $ code $ strContent e -- TODO attrs
779 "markup" -> return $ code $ strContent e -- TODO attrs
780 "wordasword" -> emph <$> innerInlines
780 "wordasword" -> emph <$> innerInlines
781 "varname" -> return $ codeWith ("",["varname"],[]) $ strContent e
781 "varname" -> return $ codeWith ("",["varname"],[]) $ strContent e