From 8734057dff33cbfad45c81847a1efd371380d5c4 Mon Sep 17 00:00:00 2001 From: John MacFarlane Date: Tue, 21 Dec 2021 09:55:17 -0800 Subject: Put sourcepos attribute on header, not enclosing div... with `-f commonmark+sourcepos`. Closes #7769. --- cabal.project | 6 ++++++ stack.yaml | 3 +++ 2 files changed, 9 insertions(+) diff --git a/cabal.project b/cabal.project index bc617093c..8e56ca0a4 100644 --- a/cabal.project +++ b/cabal.project @@ -13,6 +13,12 @@ source-repository-package location: https://github.com/jgm/texmath.git tag: 46df85d747f4f233157d3476683264232a4f58be +source-repository-package + type: git + location: https://github.com/jgm/commonmark-hs + tag: 4d460b206e0b1872376db86cadf7a4567eeddaed + subdir: commonmark-pandoc + source-repository-package type: git location: https://github.com/jgm/ipynb.git diff --git a/stack.yaml b/stack.yaml index a76508782..702e3a780 100644 --- a/stack.yaml +++ b/stack.yaml @@ -39,6 +39,9 @@ extra-deps: commit: 00246af10885c2ad4413ace4f69a7e6c88297a08 - git: https://github.com/pandoc/pandoc-lua-marshal commit: 45e53d9dce37d20f8e30e0d297a43c5b4c4a6831 +- git: https://github.com/jgm/commonmark-hs + commit: 4d460b206e0b1872376db86cadf7a4567eeddaed + subdir: commonmark-pandoc ghc-options: "$locals": -fhide-source-paths -Wno-missing-home-modules resolver: lts-18.10 -- cgit v1.2.3