diff options
author | Karl Berry <karl@gnu.org> | 2013-01-06 12:32:22 +0000 |
---|---|---|
committer | Pádraig Brady <P@draigBrady.com> | 2013-01-06 12:45:47 +0000 |
commit | 9d2625817486ae377732197c99352603ef00db58 (patch) | |
tree | 903edecba94ebbeaefa2c38fc00a44ff6d3c2c2e /doc/local.mk | |
parent | f40397339169e43acf9c69f237162d64115bcc61 (diff) | |
download | coreutils-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.mk | 7 |
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 || : |