From e5792a11d998b2e9736edd7242b1eca2884aa905 Mon Sep 17 00:00:00 2001
From: Akim Demaille <akim@lrde.epita.fr>
Date: Mon, 16 Apr 2012 19:08:46 +0200
Subject: [PATCH] maint.mk: catch "see @xref{}".

* top/maint.mk (sc_texinfo_see_xref): New.
---
 ChangeLog    |    5 +++++
 top/maint.mk |    7 +++++++
 2 files changed, 12 insertions(+)

diff --git a/ChangeLog b/ChangeLog
index 8817dab..2fe085d 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2012-04-16  Akim Demaille  <akim@lrde.epita.fr>
+
+	maint.mk: catch "see @xref{}".
+	* top/maint.mk (sc_texinfo_see_xref): New.
+
 2012-04-16  Jim Meyering  <meyering@redhat.com>
 
 	configmake: correct minor inconsistency in Makefile rule
diff --git a/top/maint.mk b/top/maint.mk
index 2228a37..17af14a 100644
--- a/top/maint.mk
+++ b/top/maint.mk
@@ -838,6 +838,13 @@ sc_texinfo_acronym:
 	halt='found use of Texinfo @acronym{}'				\
 	  $(_sc_search_regexp)
 
+# Avoid double "see" when contributed by @xref.
+sc_texinfo_see_xref:
+	@prohibit='[Ss]ee  *@p?xref\{'					\
+	in_vc_files='$(texinfo_suffix_re_)'				\
+	halt='found use of "See @xref{}"'				\
+	  $(_sc_search_regexp)
+
 cvs_keywords = \
   Author|Date|Header|Id|Name|Locker|Log|RCSfile|Revision|Source|State
 
-- 
1.7.9.5