From: John Darrington <john@darrington.wattle.id.au>
Date: Wed, 11 Mar 2009 23:44:16 +0000 (+0900)
Subject: Fix generation of email address
X-Git-Tag: sav-api~740
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=956d5089baf3074a19d44538d712d96afcc088e7;p=pspp

Fix generation of email address
---

diff --git a/doc/bugs.texi b/doc/bugs.texi
index d84d0312d7..e597a82c3c 100644
--- a/doc/bugs.texi
+++ b/doc/bugs.texi
@@ -8,13 +8,7 @@ visit PSPP's project webpage at
 @uref{https://savannah.gnu.org/projects/pspp}.  You can also submit
 your own bug report there: click on ``Bugs,'' then on ``Submit a
 Bug,'' and fill out the form.  Alternatively, PSPP bug reports may be
-sent by email to
-@ifinfo
-<bug-gnu-pspp@@gnu.org>.
-@end ifinfo
-@iftex
-@code{<bug-gnu-pspp@@gnu.org>}.
-@end iftex
+sent by email to @email{bug-gnu-pspp@@gnu.org}.
 
 For known bugs in individual language features, see the documentation
 for that feature.