Makefile: Fix checkdocs target.
commit559b12ee3a2f741298c1a1ae063db6582c34370e
authorJohn MacFarlane <jgm@berkeley.edu>
dateFri 18 Dec 2020, 09:46 (6 years ago)
parenta45fb0a
Makefile+1−1
@@ -68,7 +68,7 @@ dist: man/pandoc.1
6868check: checkdocs check-cabal
6969
7070checkdocs:
71− ! grep -n -e "\t" MANUAL.txt changelog
71+ ! grep -q -n -e "\t" MANUAL.txt changelog.md
7272
7373debpkg: man/pandoc.1
7474 docker run -v `pwd`:/mnt \