@@ -171,12 +171,12 @@ and then
171171 pandoc -f SOURCEFORMAT -t TARGETFORMAT --filter ./behead.hs
172172
173173(It is also necessary that `pandoc-types` be installed in the
174−local package repository: `cabal install pandoc-types` should
175−ensure this.)
174+local package repository. To do this using cabal-install,
175+`cabal v2-update && cabal v2-install --lib pandoc-types`.)
176176
177177Alternatively, we could compile the filter:
178178
179− ghc --make behead.hs
179+ ghc -package-env=default --make behead.hs
180180 pandoc -f SOURCEFORMAT -t TARGETFORMAT --filter ./behead
181181
182182Note that if the filter is placed in the system PATH, then the initial