From ec4c6c71fda675a8559f032dbb8a3bbb07750886 Mon Sep 17 00:00:00 2001
From: o-da <sergey.goncharov@fau.de>
Date: Fri, 14 Oct 2022 22:04:58 +0200
Subject: [PATCH] not fail make if no duplicate
---
Makefile | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Makefile b/Makefile
index 8fd1500..2ea166e 100644
--- a/Makefile
+++ b/Makefile
@@ -186,6 +186,6 @@ up: $(PDFNAMES)
.PHONY: check
check:
@echo "Checking duplicates.."
- @grep -Eon -r --include "*.tex" '(\b[[:alpha:]]{2,}\b) \1\b' .
+ @grep -Eon -r --include "*.tex" '(\b[[:alpha:]]{2,}\b) \1\b' . | true
@echo "Checking spelling.."
cat $(SRCNAMES) | aspell --conf-dir=$(THISDIR) --home-dir=$(THISDIR) list -t --dont-tex-check-comments -d en_GB-ize | sort -uf | sed -E '/.../!d'
--
GitLab