summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile5
1 files changed, 3 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index 5df653546..5b530ade9 100644
--- a/Makefile
+++ b/Makefile
@@ -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: