diff options
author | Albert Krewinkel <tarleb@moltkeplatz.de> | 2014-04-24 12:56:25 +0200 |
---|---|---|
committer | Albert Krewinkel <tarleb@moltkeplatz.de> | 2014-04-24 17:55:22 +0200 |
commit | ec24f9761c71961821c180d3f6eeb3b5c08aaebf (patch) | |
tree | d7944194ef378ce9770fcd44e8425285db445d64 | |
parent | bf0c7256474a6ac08887f946e4a83e67c7289492 (diff) | |
download | pandoc-ec24f9761c71961821c180d3f6eeb3b5c08aaebf.tar.gz |
RST reader: Remove duplicate 'http' in PEP links
The generated link to PEPs had a duplicate 'http://' in its URL.
-rw-r--r-- | src/Text/Pandoc/Readers/RST.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Text/Pandoc/Readers/RST.hs b/src/Text/Pandoc/Readers/RST.hs index a574f343a..7785861cc 100644 --- a/src/Text/Pandoc/Readers/RST.hs +++ b/src/Text/Pandoc/Readers/RST.hs @@ -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 |