diff options
| author | John MacFarlane <[email protected]> | 2022-10-04 21:25:53 -0700 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2022-10-04 21:48:17 -0700 |
| commit | 96cbd762a1459ae41d479da2babeb06e469f7e53 (patch) | |
| tree | f8160cbc3cb1def51c6c00ea1298c48a26e6195b /Makefile | |
| parent | 87bff282982b49c37b1ff1c1377111fbcac4c9fc (diff) | |
Makefile: Improve checkdocs.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -65,7 +65,8 @@ check-cabal: git-files.txt sdist-files.txt checkdocs: @echo "Checking for tabs in manual." - ! grep -q -n -e "\t" MANUAL.txt changelog.md + ! grep -q -n -e "\t" \ + MANUAL.txt changelog.md doc/pandoc-server.md doc/pandoc-lua.md .PHONY: checkdocs bench: ## build and run benchmarks |