Markdown reader: allow startnum to work without fancy_lists.

Formerly `pandoc -f markdown-fancy_lists+startnum` did not work
properly.
This commit is contained in:
John MacFarlane 2014-10-18 13:57:48 -07:00
parent 84f6b1e41a
commit 328ff8e71f

View file

@ -735,9 +735,9 @@ anyOrderedListStart = try $ do
skipNonindentSpaces
notFollowedBy $ string "p." >> spaceChar >> digit -- page number
res <- do guardDisabled Ext_fancy_lists
many1 digit
start <- many1 digit >>= safeRead
char '.'
return (1, DefaultStyle, DefaultDelim)
return (start, DefaultStyle, DefaultDelim)
<|> do (num, style, delim) <- anyOrderedListMarker
-- if it could be an abbreviated first name,
-- insist on more than one space