RST reader: Remove duplicate 'http' in PEP links
The generated link to PEPs had a duplicate 'http://' in its URL.
commitec24f9761c71961821c180d3f6eeb3b5c08aaebf
authorAlbert Krewinkel <tarleb@moltkeplatz.de>
dateThu 24 Apr 2014, 12:56 (13 years ago)
parentbf0c725
src/Text/Pandoc/Readers/RST.hs+1−1
@@ -1005,7 +1005,7 @@ renderRole contents fmt role attr = case role of
10051005 where rfcUrl = "http://www.faqs.org/rfcs/rfc" ++ rfcNo ++ ".html"
10061006 pepLink pepNo = B.link pepUrl ("PEP " ++ pepNo) $ B.str ("PEP " ++ pepNo)
10071007 where padNo = replicate (4 - length pepNo) '0' ++ pepNo
1008− pepUrl = "http://http://www.python.org/dev/peps/pep-" ++ padNo ++ "/"
1008+ pepUrl = "http://www.python.org/dev/peps/pep-" ++ padNo ++ "/"
10091009
10101010roleNameEndingIn :: RSTParser Char -> RSTParser String
10111011roleNameEndingIn end = many1Till (letter <|> char '-') end