RST reader: Remove duplicate 'http' in PEP links

The generated link to PEPs had a duplicate 'http://' in its URL.
This commit is contained in:
Albert Krewinkel 2014-04-24 12:56:25 +02:00
parent bf0c725647
commit ec24f9761c

View file

@ -1005,7 +1005,7 @@ renderRole contents fmt role attr = case role of
where rfcUrl = "http://www.faqs.org/rfcs/rfc" ++ rfcNo ++ ".html"
pepLink pepNo = B.link pepUrl ("PEP " ++ pepNo) $ B.str ("PEP " ++ pepNo)
where padNo = replicate (4 - length pepNo) '0' ++ pepNo
pepUrl = "http://http://www.python.org/dev/peps/pep-" ++ padNo ++ "/"
pepUrl = "http://www.python.org/dev/peps/pep-" ++ padNo ++ "/"
roleNameEndingIn :: RSTParser Char -> RSTParser String
roleNameEndingIn end = many1Till (letter <|> char '-') end