@@ -250,9 +250,12 @@ inlineToLaTeX (HtmlInline str) = return ""
250250inlineToLaTeX (LineBreak) = return "\\\\\n"
251251inlineToLaTeX Space = return " "
252252inlineToLaTeX (Link text (src, tit)) = do
253− contents <- inlineListToLaTeX $ deVerb text
254253 addToHeader "\\usepackage[breaklinks=true]{hyperref}"
255− return $ "\\href{" ++ src ++ "}{" ++ contents ++ "}"
254+ case text of
255+ [Code x] | x == src -> -- autolink
256+ return $ "\\url{" ++ x ++ "}"
257+ _ -> do contents <- inlineListToLaTeX $ deVerb text
258+ return $ "\\href{" ++ src ++ "}{" ++ contents ++ "}"
256259inlineToLaTeX (Image alternate (source, tit)) = do
257260 addToHeader "\\usepackage{graphicx}"
258261 return $ "\\includegraphics{" ++ source ++ "}"