From: Jim Meyering <meyering@redhat.com>
Date: Wed, 17 Nov 2010 06:55:25 +0000 (+0100)
Subject: maint.mk: add a URL discussing the no-@acronym policy
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0aded7c4ebf9eed7fe85edfa7dcc92d0772b16cf;p=pspp

maint.mk: add a URL discussing the no-@acronym policy

* top/maint.mk (sc_texinfo_acronym): Add a URL in a comment.
---

diff --git a/ChangeLog b/ChangeLog
index 217fbba012..f530101687 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2010-11-17  Jim Meyering  <meyering@redhat.com>
+
+	maint.mk: add a URL discussing the no-@acronym policy
+	* top/maint.mk (sc_texinfo_acronym): Add a URL in a comment.
+
 2010-11-18  Paul Eggert  <eggert@cs.ucla.edu>
 
 	ftoastr: depend on snprintf, improve comments
diff --git a/top/maint.mk b/top/maint.mk
index bd5431b276..315b22317e 100644
--- a/top/maint.mk
+++ b/top/maint.mk
@@ -741,7 +741,8 @@ sc_GFDL_version:
 	halt='GFDL vN, N!=3'						\
 	  $(_sc_search_regexp)
 
-# Don't use Texinfo @acronym{} as it is not a good idea.
+# Don't use Texinfo's @acronym{}.
+# http://lists.gnu.org/archive/html/bug-gnulib/2010-03/msg00321.html
 texinfo_suffix_re_ ?= \.(txi|texi(nfo)?)$$
 sc_texinfo_acronym:
 	@prohibit='@acronym\{'						\