diff options
| author | Artem Pelenitsyn <[email protected]> | 2022-09-25 20:13:36 -0400 |
|---|---|---|
| committer | GitHub <[email protected]> | 2022-09-25 17:13:36 -0700 |
| commit | b3e8a28414df4ce72f00d268cbce046fc3267edd (patch) | |
| tree | d306ce25c9a234d495b9272b67fb36d7b2b4a362 | |
| parent | 58f4b78ed9f4a5ea307cde0a39873848ba8968b8 (diff) | |
doc: use cabal's --package-env more (#8317)
| -rw-r--r-- | doc/filters.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/filters.md b/doc/filters.md index 3be905c98..87bb3ca4d 100644 --- a/doc/filters.md +++ b/doc/filters.md @@ -172,7 +172,7 @@ and then (It is also necessary that `pandoc-types` be installed in the local package repository. To do this using cabal-install, -`cabal v2-update && cabal v2-install --lib pandoc-types`.) +`cabal v2-update && cabal v2-install --lib pandoc-types --package-env .`.) Alternatively, we could compile the filter: |