From 0982aca223a2f5250a8fdcdc2eb240a436521975 Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Thu, 7 Apr 2016 09:04:39 -0700
Subject: [PATCH] tools: missing file, git ignore

---
 doc/pandoc-demote-headers.hs | 14 ++++++++++++++
 site/.gitignore              |  1 +
 2 files changed, 15 insertions(+)
 create mode 100755 doc/pandoc-demote-headers.hs

diff --git a/doc/pandoc-demote-headers.hs b/doc/pandoc-demote-headers.hs
new file mode 100755
index 000000000..863a78e0c
--- /dev/null
+++ b/doc/pandoc-demote-headers.hs
@@ -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
+
diff --git a/site/.gitignore b/site/.gitignore
index 8935f8a3b..8a6ad43d8 100644
--- a/site/.gitignore
+++ b/site/.gitignore
@@ -11,3 +11,4 @@ hledger_csv.5.md
 hledger_journal.5.md
 hledger_timedot.5.md
 hledger_timelog.5.md
+manual2.md