diff options
| author | har7an <[email protected]> | 2025-12-02 10:26:40 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2025-12-02 11:26:40 +0100 |
| commit | 92e35d1b90ed90da0c584842ec44e462a79e167d (patch) | |
| tree | dd8a6d100b47b44e8a101213b1680b104c2ea19d | |
| parent | bbedaadc4d78a5676114e1359154bab81b0ff561 (diff) | |
Fix a few mistakes in the contributing docs. (#11318)
* Fix a typo in the contributing docs.
* Fix link to Lua filter docs, so it works on GitHub. (A rewrite rule will ensure that it also works on pandoc.org.)
* Update minimum GHC version in contributing docs.
* Add a comment in the respective CI file to keep the version up-to-date
in the contributing guide.
| -rw-r--r-- | .github/workflows/ci.yml | 1 | ||||
| -rw-r--r-- | CONTRIBUTING.md | 4 |
2 files changed, 3 insertions, 2 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 751d8f413..83bf86c9d 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -46,6 +46,7 @@ jobs: fail-fast: true matrix: versions: + # NOTE: Update `CONTRIBUTING.md` when changing the minimum version - ghc: '8.10' cabal: 'latest' cabalopts: '--ghc-option=-Werror' diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index d1291db79..07a0a4c36 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -216,7 +216,7 @@ Please follow these guidelines: 10. We aim for compatibility with at least the last three released ghc versions, and sometimes more. Currently pandoc - can be compiled on ghc 8.6 an higher. All pull requests and + can be compiled on ghc 8.10 and higher. All pull requests and commits are tested automatically on GitHub Actions. Tests @@ -448,7 +448,7 @@ WriterOptions, you'll also need to Lua filters ----------- -If you've written a useful pandoc [lua filter](lua-filters.html), +If you've written a useful pandoc [lua filter](./doc/lua-filters.md), you may want to consider submitting a pull request to the [lua-filters repository](https://github.com/pandoc/lua-filters). |