aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile3
1 files changed, 2 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index b6216f1e1..4e6e31d23 100644
--- a/Makefile
+++ b/Makefile
@@ -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