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