]> git.ipfire.org Git - thirdparty/autoconf.git/commitdiff
Fix syntax-check complaints
authorZack Weinberg <zack@owlfolio.org>
Wed, 17 Jul 2024 20:26:26 +0000 (16:26 -0400)
committerZack Weinberg <zack@owlfolio.org>
Wed, 17 Jul 2024 20:26:26 +0000 (16:26 -0400)
One complaint is correct: house style is “file system” not “filesystem.”

The other one is bogus: sc_two_space_separator_in_usage gets a false
positive on gendocs.sh, which isn’t even our code.  I tried to exclude
just that file using exclude_file_name_regexp but it didn’t immediately
work and my patience for debugging maint.mk is nil.

cfg.mk
doc/autoconf.texi

diff --git a/cfg.mk b/cfg.mk
index c5e9d6e36c91bbc1006a0a4cb94369189db2c6ba..fc751a76cf3eab180b65736ef6cad867efddce11 100644 (file)
--- a/cfg.mk
+++ b/cfg.mk
@@ -63,6 +63,7 @@ local-checks-to-skip ?= \
   sc_prohibit_always_true_header_tests \
   sc_prohibit_magic_number_exit                \
   sc_prohibit_stat_st_blocks           \
+  sc_two_space_separator_in_usage      \
   sc_unmarked_diagnostics              \
   sc_unportable_grep_q
 
index dc07da5deeea5460ce09fcfc0a6f8d3ee2623a4e..72166bf5503ed0e4e6bbc9e039894fa940496591 100644 (file)
@@ -15528,7 +15528,7 @@ Computer and used by most of their products.  It is also known as macOS,
 iOS, etc.@: depending on the exact variant.  Older versions were called
 ``Mac OS X.''
 
-By default the filesystem will be case insensitive, albeit case
+By default the file system will be case insensitive, albeit case
 preserving.  This can cause nasty problems: for instance, the
 installation attempt for a package having an @file{INSTALL} file can
 result in @samp{make install} reporting that nothing is to be done!