From ff991d1e2151479ff7dc15aba9c17251ff060408 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Sun, 2 Apr 2017 23:10:10 +0200
Subject: Revert "Revert "Use file-embed instead of hsb2hs to embed data
 files.""

This reverts commit 1fa15c225b515e1fa1c6566f90f1be363a4d770f.
---
 linux/Dockerfile | 1 -
 1 file changed, 1 deletion(-)

(limited to 'linux/Dockerfile')

diff --git a/linux/Dockerfile b/linux/Dockerfile
index 630abc17e..b725bbaa5 100644
--- a/linux/Dockerfile
+++ b/linux/Dockerfile
@@ -14,7 +14,6 @@ RUN mkdir -p /usr/src/
 WORKDIR /usr/src/
 RUN git clone https://github.com/jgm/pandoc
 WORKDIR /usr/src/pandoc
-RUN stack install --local-bin-path /usr/bin hsb2hs
 RUN stack install --stack-yaml stack.pkg.yaml --only-dependencies \
     --flag 'pandoc:embed_data_files' \
     --test --ghc-options '-O2 -optc-Os -optl-static -fPIC' \
-- 
cgit v1.2.3