diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2023-12-12 13:40:42 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2023-12-12 13:40:42 -0800 |
| commit | 24c50b97306bacedda6220e344c0902ef3e899c1 (patch) | |
| tree | f02b921e7b811cdc3c9dfa748d6513e6d79dfb4b | |
| parent | 708bfa5c2752b8c9c2158e34707459859974f7fe (diff) | |
Makefile: add check that pandoc-cli depends on exact version of pandoc.
| -rw-r--r-- | Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -95,8 +95,9 @@ check-cabal: git-files.txt sdist-files.txt check-version-sync: @echo "Checking for match between pandoc and pandoc-cli versions" - @echo "$(version), $(pandoc-cli-version)" - @[ $(version) == $(pandoc-cli-version) ] + [ $(version) == $(pandoc-cli-version) ] + @echo "Checking that pandoc-cli depends on this version of pandoc" + grep 'pandoc == $(version)' pandoc-cli/pandoc-cli.cabal .PHONY: check-version-sync check-changelog: |