From 7120df9dad6376a6a43b7e870350a016a720a53c Mon Sep 17 00:00:00 2001 From: John MacFarlane Date: Tue, 21 Jul 2015 10:24:59 -0700 Subject: Don't capitalize header links in man page. Also regenerated man page from latest README. --- man/capitalizeHeaders.hs | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'man/capitalizeHeaders.hs') diff --git a/man/capitalizeHeaders.hs b/man/capitalizeHeaders.hs index d3909df76..863381c1f 100644 --- a/man/capitalizeHeaders.hs +++ b/man/capitalizeHeaders.hs @@ -7,12 +7,14 @@ main = toJSONFilter capitalizeHeaders capitalizeHeaders :: Block -> Block capitalizeHeaders (Header 1 attr xs) = Header 1 attr $ walk capitalize xs -capitalizeHeaders x = walk capitalizeHeaderLinks x +capitalizeHeaders x = x capitalize :: Inline -> Inline capitalize (Str xs) = Str $ map toUpper xs capitalize x = x +{- capitalizeHeaderLinks :: Inline -> Inline capitalizeHeaderLinks (Link xs t@('#':_,_)) = Link (walk capitalize xs) t capitalizeHeaderLinks x = x +-} -- cgit v1.2.3