From 46f0b38d54baa8629c26906629fd9a0d429dbe65 Mon Sep 17 00:00:00 2001
From: janneke <janneke>
Date: Fri, 27 Feb 2004 21:14:15 +0000
Subject: [PATCH] (usermanref): Add macro for TeX.

---
 ChangeLog                      | 2 ++
 scm/documentation-generate.scm | 6 ++++++
 2 files changed, 8 insertions(+)

diff --git a/ChangeLog b/ChangeLog
index bfda079c14..b46ba62630 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,7 @@
 2004-02-27  Jan Nieuwenhuizen  <janneke@gnu.org>
 
+	* scm/documentation-generate.scm (usermanref): Add macro for TeX.
+
 	* Documentation/topdocs/NEWS.texi: Add note about info docs with
 	images.
 
diff --git a/scm/documentation-generate.scm b/scm/documentation-generate.scm
index e90b586892..6062aae507 100644
--- a/scm/documentation-generate.scm
+++ b/scm/documentation-generate.scm
@@ -111,6 +111,12 @@
 @end macro
 @end ifinfo
 
+@iftex
+@macro usermanref{NAME}
+@ref{\\NAME\\}@c
+@end macro
+@end iftex
+
 @ifhtml
 @macro glossaryref{NAME}
 @uref{../music-glossary/\\NAME\\.html,\\NAME\\}
-- 
2.39.5