Use latest dev version of doclayout.
This reduces compile time/memory consumption for pandoc considerably. See jgm/doclayout#1.
This commit is contained in:
parent
35688c4262
commit
c55a73b642
1 changed files with 2 additions and 3 deletions
|
@ -8,10 +8,9 @@ extra-deps:
|
|||
- hslua-1.3.0
|
||||
- hslua-module-path-0.1.0
|
||||
- jira-wiki-markup-1.3.4
|
||||
- git: https://github.com/jgm/doclayout.git
|
||||
commit: 7a23715f10fe20f1cd4d0a35a1fc57c2268d261f
|
||||
- citeproc-0.3.0.9
|
||||
#- citeproc:
|
||||
# git: https://github.com/jgm/citeproc.git
|
||||
# commit: feb3b7580c6738eec3b23921f7c1739cfba611aa
|
||||
ghc-options:
|
||||
"$locals": -fhide-source-paths -Wno-missing-home-modules
|
||||
resolver: lts-17.5
|
||||
|
|
Loading…
Add table
Reference in a new issue