From 63359c864113b918a8f2d8e26304fff665aefc8a Mon Sep 17 00:00:00 2001
From: Peter Parente <parente@gmail.com>
Date: Sun, 5 May 2019 13:37:28 -0400
Subject: [PATCH] Fix docs/locale update ping-pong

Do not trigger another docs/local/en update and push
to master when localized text changes
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 57d6014d42..b0ee3bf4ac 100644
--- a/Makefile
+++ b/Makefile
@@ -62,7 +62,7 @@ docs: ## build HTML documentation
 	make -C docs html
 
 n-docs-diff: ## number of docs/ files changed since branch from master
-	@git diff --name-only $(DIFF_RANGE) -- docs/ | wc -l | awk '{print $$1}'
+	@git diff --name-only $(DIFF_RANGE) -- docs/ ':!docs/locale' | wc -l | awk '{print $$1}'
 
 
 n-other-diff: ## number of files outside docs/ changed since branch from master