@@ -31,7 +31,8 @@ writers.
3131module Main where
3232import Text.Pandoc
3333import Text.Pandoc.Writers.S5 (s5HeaderIncludes)
34−import Text.Pandoc.Shared ( tabFilter, ObfuscationMethod (..), readDataFile )
34+import Text.Pandoc.Shared ( tabFilter, ObfuscationMethod (..), readDataFile,
35+ headerShift )
3536#ifdef _HIGHLIGHTING
3637import Text.Pandoc.Highlighting ( languages )
3738#endif
@@ -127,12 +128,6 @@ writers = [("native" , writeNative)
127128isNonTextOutput :: String -> Bool
128129isNonTextOutput = (`elem` ["odt","epub"])
129130
130−headerShift :: Int -> Pandoc -> Pandoc
131−headerShift n = processWith shift
132− where shift :: Block -> Block
133− shift (Header level inner) = Header (level + n) inner
134− shift x = x
135−
136131-- | Data structure for command line options.
137132data Opt = Opt
138133 { optTabStop :: Int -- ^ Number of spaces per tab