[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH 1/2] Rename sc_jemarchism_z -> sc_jemarchism_lets
|
From: |
Jose E. Marchesi |
|
Subject: |
Re: [PATCH 1/2] Rename sc_jemarchism_z -> sc_jemarchism_lets |
|
Date: |
Sat, 23 May 2020 12:49:12 +0200 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
Hi John.
OK for master.
---
cfg.mk | 4 +---
1 file changed, 1 insertion(+), 3 deletions(-)
diff --git a/cfg.mk b/cfg.mk
index 0ce5dade..0e6731e8 100644
--- a/cfg.mk
+++ b/cfg.mk
@@ -7,7 +7,7 @@ local-checks-to-skip = \
sc_tight_scope \
sc_prohibit_gnu_make_extensions
-sc_jemarchism.z:
+sc_jemarchism_lets:
@prohibit='(^|[ ])[Ll]ets( |$$)' \
in_vc_files='$(texinfo_suffix_re_)' \
halt='found use of "lets" in Texinfo source' \
@@ -25,5 +25,3 @@ sc_rockdabootism_missing_space:
exclude="([a-z]+\(3\)\.|poke\(wo\)men)" \
halt='missing space before (' \
$(_sc_search_regexp)
-
-local-checks-available=sc_jemarchism