diff options
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 || : |