From b3ab3b392de531ff6399475756266b7be1936e2a Mon Sep 17 00:00:00 2001 From: Simon Michael Date: Wed, 29 Mar 2017 21:00:52 -0700 Subject: [PATCH] tools: remove outdated pandoc-types version from pandoc filters --- tools/pandoc-capitalize-headers.hs | 2 +- tools/pandoc-demote-headers.hs | 2 +- tools/pandoc-drop-html-blocks.hs | 2 +- tools/pandoc-drop-html-inlines.hs | 2 +- tools/pandoc-drop-links.hs | 2 +- tools/pandoc-drop-man-blocks.hs | 2 +- tools/pandoc-drop-notes.hs | 2 +- tools/pandoc-drop-web-blocks.hs | 2 +- 8 files changed, 8 insertions(+), 8 deletions(-) diff --git a/tools/pandoc-capitalize-headers.hs b/tools/pandoc-capitalize-headers.hs index 6ed1f0922..8de4b0446 100755 --- a/tools/pandoc-capitalize-headers.hs +++ b/tools/pandoc-capitalize-headers.hs @@ -1,5 +1,5 @@ #!/usr/bin/env stack -{- stack runghc --verbosity info --package pandoc-types-1.16.1 -} +{- stack runghc --verbosity info --package pandoc-types -} -- Ensure level 1 and 2 headings are first-letter-capitalised. import Data.Char diff --git a/tools/pandoc-demote-headers.hs b/tools/pandoc-demote-headers.hs index 863a78e0c..78a7cd13a 100755 --- a/tools/pandoc-demote-headers.hs +++ b/tools/pandoc-demote-headers.hs @@ -1,5 +1,5 @@ #!/usr/bin/env stack -{- stack runghc --verbosity info --package pandoc-types-1.16.1 -} +{- stack runghc --verbosity info --package pandoc-types -} import Text.Pandoc.JSON import Text.Pandoc.Walk diff --git a/tools/pandoc-drop-html-blocks.hs b/tools/pandoc-drop-html-blocks.hs index de0655944..1238af0ac 100755 --- a/tools/pandoc-drop-html-blocks.hs +++ b/tools/pandoc-drop-html-blocks.hs @@ -1,5 +1,5 @@ #!/usr/bin/env stack -{- stack runghc --verbosity info --package pandoc-types-1.16.1 -} +{- stack runghc --verbosity info --package pandoc-types -} import Text.Pandoc.JSON diff --git a/tools/pandoc-drop-html-inlines.hs b/tools/pandoc-drop-html-inlines.hs index 2e2ffabb2..90e7cfaa1 100755 --- a/tools/pandoc-drop-html-inlines.hs +++ b/tools/pandoc-drop-html-inlines.hs @@ -1,5 +1,5 @@ #!/usr/bin/env stack -{- stack runghc --verbosity info --package pandoc-types-1.16.1 -} +{- stack runghc --verbosity info --package pandoc-types -} import Text.Pandoc.JSON diff --git a/tools/pandoc-drop-links.hs b/tools/pandoc-drop-links.hs index af35124f2..c2df0f2cf 100755 --- a/tools/pandoc-drop-links.hs +++ b/tools/pandoc-drop-links.hs @@ -1,5 +1,5 @@ #!/usr/bin/env stack -{- stack runghc --verbosity info --package pandoc-types-1.16.1 -} +{- stack runghc --verbosity info --package pandoc-types -} import Text.Pandoc.JSON diff --git a/tools/pandoc-drop-man-blocks.hs b/tools/pandoc-drop-man-blocks.hs index e360718b0..4649ec3ea 100755 --- a/tools/pandoc-drop-man-blocks.hs +++ b/tools/pandoc-drop-man-blocks.hs @@ -1,5 +1,5 @@ #!/usr/bin/env stack -{- stack runghc --verbosity info --package pandoc-types-1.16.1 -} +{- stack runghc --verbosity info --package pandoc-types -} import Text.Pandoc.Builder import Text.Pandoc.JSON diff --git a/tools/pandoc-drop-notes.hs b/tools/pandoc-drop-notes.hs index d085e5a79..1a74e6ab4 100755 --- a/tools/pandoc-drop-notes.hs +++ b/tools/pandoc-drop-notes.hs @@ -1,5 +1,5 @@ #!/usr/bin/env stack -{- stack runghc --verbosity info --package pandoc-types-1.16.1 -} +{- stack runghc --verbosity info --package pandoc-types -} import Text.Pandoc.JSON diff --git a/tools/pandoc-drop-web-blocks.hs b/tools/pandoc-drop-web-blocks.hs index 8662d95e7..c31199897 100755 --- a/tools/pandoc-drop-web-blocks.hs +++ b/tools/pandoc-drop-web-blocks.hs @@ -1,5 +1,5 @@ #!/usr/bin/env stack -{- stack runghc --verbosity info --package pandoc-types-1.16.1 -} +{- stack runghc --verbosity info --package pandoc-types -} import Text.Pandoc.Builder import Text.Pandoc.JSON