diff options
| author | John MacFarlane <[email protected]> | 2022-08-26 20:00:15 -0700 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2022-08-26 20:01:01 -0700 |
| commit | e3978247ccda4c07244e3940f7786e029bce7fae (patch) | |
| tree | 46d6f789e72acc9fff5df444fb0f784385c116cb /stack.yaml | |
| parent | 6a7ab9bb4e3e67e96e1bc02b287200f063c2eaee (diff) | |
HTML writer: avoid aria-hidden in code blocks for HTML4.
Closes #8241.
This requires depending on a new (still unreleased)
version of skylighting-format-blaze-html.
Diffstat (limited to 'stack.yaml')
| -rw-r--r-- | stack.yaml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/stack.yaml b/stack.yaml index 1ac48d4cf..17c6e259a 100644 --- a/stack.yaml +++ b/stack.yaml @@ -10,7 +10,6 @@ extra-deps: - skylighting-0.13 - skylighting-format-ansi-0.1 - skylighting-format-latex-0.1 -- skylighting-format-blaze-html-0.1 - emojis-0.1.2 - gridtables-0.0.3.0 - lpeg-1.0.3 @@ -43,6 +42,9 @@ extra-deps: - doctemplates-0.10.0.2 - citeproc-0.8.0.1 - texmath-0.12.5.2 +- git: https://github.com/jgm/skylighting + tag: 6079d8b0fb6e45c6a03b05501900be1c151701e6 + subdirs: [skylighting-format-blaze-html] ghc-options: "$locals": -fhide-source-paths -Wno-missing-home-modules |