summaryrefslogtreecommitdiff
path: root/doc/local.mk
diff options
context:
space:
mode:
authorKarl Berry <karl@gnu.org>2013-01-06 12:32:22 +0000
committerPádraig Brady <P@draigBrady.com>2013-01-06 12:45:47 +0000
commit9d2625817486ae377732197c99352603ef00db58 (patch)
tree903edecba94ebbeaefa2c38fc00a44ff6d3c2c2e /doc/local.mk
parentf40397339169e43acf9c69f237162d64115bcc61 (diff)
downloadcoreutils-9d2625817486ae377732197c99352603ef00db58.tar.xz
doc: avoid @sc in texinfo; it is unnecessary
* doc/coreutils.texi: avoid @sc and use explicit capitals. * doc/local.mk (sc-use-small-caps-NUL): Remove, as no longer applicable.
Diffstat (limited to 'doc/local.mk')
-rw-r--r--doc/local.mk7
1 files changed, 1 insertions, 6 deletions
diff --git a/doc/local.mk b/doc/local.mk
index 47a4cb79c..3941a1f10 100644
--- a/doc/local.mk
+++ b/doc/local.mk
@@ -58,8 +58,7 @@ syntax_checks = \
sc-avoid-timezone \
sc-avoid-zeroes \
sc-exponent-grouping \
- sc-lower-case-var \
- sc-use-small-caps-NUL
+ sc-lower-case-var
texi_files = $(srcdir)/doc/*.texi
@@ -97,10 +96,6 @@ sc-avoid-timezone:
sc-exponent-grouping:
$(AM_V_GEN)$(EGREP) '\{.*\^[0-9][0-9]' $(texi_files) && exit 1 || :
-# E.g., use @sc{nul}, not NUL.
-sc-use-small-caps-NUL:
- $(AM_V_GEN)$(EGREP) '$(_W)NUL$(W_)' $(texi_files) && exit 1 || :
-
# Say I/O, not IO.
sc-avoid-io:
$(AM_V_GEN)$(EGREP) '$(_W)IO$(W_)' $(texi_files) && exit 1 || :