X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fbugs.texi;h=e597a82c3c01e342a7e875bebde82e13d6fb5876;hb=HEAD;hp=475f357b28b46d59f57135729dfdd07a7143ca59;hpb=1e8c230029fffed93872704085af54359912be00;p=pspp-builds.git

diff --git a/doc/bugs.texi b/doc/bugs.texi
index 475f357b..e597a82c 100644
--- a/doc/bugs.texi
+++ b/doc/bugs.texi
@@ -1,4 +1,4 @@
-@node Bugs, Function Index, Not Implemented, Top
+@node Bugs
 @chapter Bugs
 
 PSPP does have bugs.  We do our best to fix them, but our limited
@@ -8,16 +8,8 @@ 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}.
 
-@xref{Not Implemented}, and @xref{Functions Not Implemented}, for
-lists of bugs due to features not implemented.  For known bugs in
-individual language features, see the documentation for that feature.
+For known bugs in individual language features, see the documentation
+for that feature.
 
-@setfilename ignored