Put sourcepos attribute on header, not enclosing div...
with `-f commonmark+sourcepos`. Closes #7769.
This commit is contained in:
parent
d7cab51982
commit
8734057dff
2 changed files with 9 additions and 0 deletions
|
@ -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
|
||||
|
|
|
@ -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
|
||||
|
|
Loading…
Reference in a new issue