tools: missing file, git ignore
This commit is contained in:
parent
dea0c5973a
commit
0982aca223
14
doc/pandoc-demote-headers.hs
Executable file
14
doc/pandoc-demote-headers.hs
Executable file
@ -0,0 +1,14 @@
|
|||||||
|
#!/usr/bin/env stack
|
||||||
|
{- stack runghc --verbosity info --package pandoc-types-1.16.1 -}
|
||||||
|
|
||||||
|
import Text.Pandoc.JSON
|
||||||
|
import Text.Pandoc.Walk
|
||||||
|
import Data.Char (toUpper)
|
||||||
|
|
||||||
|
main :: IO ()
|
||||||
|
main = toJSONFilter demoteHeaders
|
||||||
|
|
||||||
|
demoteHeaders :: Block -> Block
|
||||||
|
demoteHeaders (Header l attr xs) = Header (l+1) attr xs
|
||||||
|
demoteHeaders x = x
|
||||||
|
|
||||||
1
site/.gitignore
vendored
1
site/.gitignore
vendored
@ -11,3 +11,4 @@ hledger_csv.5.md
|
|||||||
hledger_journal.5.md
|
hledger_journal.5.md
|
||||||
hledger_timedot.5.md
|
hledger_timedot.5.md
|
||||||
hledger_timelog.5.md
|
hledger_timelog.5.md
|
||||||
|
manual2.md
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user