diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2020-02-19 16:56:20 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2020-02-19 16:56:20 -0800 |
| commit | 984a82a9b81ef07bd29bb14701503a8a33ff2c81 (patch) | |
| tree | e7dbca4ca7c52932a560331052ed97ed594e6913 /src | |
| parent | 9feefa39319358acc84811e6017aeea60f9140c3 (diff) | |
| download | pandoc-984a82a9b81ef07bd29bb14701503a8a33ff2c81.tar.gz | |
Text.Pandoc.App: set resource path at the beginning...
...so it can affect things like include-in-header.
See #5982.
Diffstat (limited to 'src')
| -rw-r--r-- | src/Text/Pandoc/App.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/Text/Pandoc/App.hs b/src/Text/Pandoc/App.hs index 0b6a72632..aeae3ec39 100644 --- a/src/Text/Pandoc/App.hs +++ b/src/Text/Pandoc/App.hs @@ -125,6 +125,8 @@ convertWithOpts opts = do runIO' $ do setUserDataDir datadir + setResourcePath (optResourcePath opts) + setInputFiles (fromMaybe ["-"] (optInputFiles opts)) setOutputFile (optOutputFile opts) @@ -268,7 +270,6 @@ convertWithOpts opts = do writerName == "markdown_github") $ report $ Deprecated "markdown_github" "Use gfm instead." - setResourcePath (optResourcePath opts) mapM_ (uncurry setRequestHeader) (optRequestHeaders opts) doc <- sourceToDoc sources >>= |