From bb362fd76c94cb5228b06632c47993ee48cecac4 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Wed, 4 Sep 2019 17:33:59 -0700
Subject: Add partial styles.html in HTML5 template.

Avoid duplication in HTML templates by using styles.html partial.
Change indentation of styles in template.
---
 stack.yaml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'stack.yaml')

diff --git a/stack.yaml b/stack.yaml
index 31187b194..2c585cf4f 100644
--- a/stack.yaml
+++ b/stack.yaml
@@ -14,6 +14,8 @@ extra-deps:
 # - pandoc-citeproc-0.16.2
 - git: https://github.com/jgm/pandoc-citeproc
   commit: 63498fb22ae6f394f19f6d62312350b566c4aebd
+- git: https://github.com/jgm/doctemplates
+  commit: 37ac859e3c88493ac62ce5f9e32a943d37529b98
 - pandoc-types-1.17.6
 - ipynb-0.1
 - cmark-gfm-0.2.0
@@ -23,7 +25,7 @@ extra-deps:
 - skylighting-core-0.8.2
 - skylighting-0.8.2
 - doclayout-0.1
-- doctemplates-0.6
+  #- doctemplates-0.6
 ghc-options:
    "$locals": -fhide-source-paths -Wno-missing-home-modules
 resolver: lts-13.17
-- 
cgit v1.2.3