From ebf413cdec8157b96db0e510bc0c15a9e8adf0e3 Mon Sep 17 00:00:00 2001 From: John MacFarlane Date: Tue, 14 Jan 2020 16:31:09 -0800 Subject: Update filters doc with better cabal v2 instructions. --- doc/filters.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/doc/filters.md b/doc/filters.md index b7d6aa45d..1e2b0db0d 100644 --- a/doc/filters.md +++ b/doc/filters.md @@ -171,12 +171,12 @@ and then pandoc -f SOURCEFORMAT -t TARGETFORMAT --filter ./behead.hs (It is also necessary that `pandoc-types` be installed in the -local package repository: `cabal install pandoc-types` should -ensure this.) +local package repository. To do this using cabal-install, +`cabal v2-update && cabal v2-install --lib pandoc-types`.) Alternatively, we could compile the filter: - ghc --make behead.hs + ghc -package-env=default --make behead.hs pandoc -f SOURCEFORMAT -t TARGETFORMAT --filter ./behead Note that if the filter is placed in the system PATH, then the initial -- cgit v1.2.3