X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=doc%2Fbugs.texi;h=2f879171e913fad2917bb086308d42ab82832588;hb=5998ad59480333aa3beda2ca217e647aecdb4cc8;hp=475f357b28b46d59f57135729dfdd07a7143ca59;hpb=1e8c230029fffed93872704085af54359912be00;p=pspp

diff --git a/doc/bugs.texi b/doc/bugs.texi
index 475f357b28..2f879171e9 100644
--- a/doc/bugs.texi
+++ b/doc/bugs.texi
@@ -16,8 +16,7 @@ sent by email to
 @code{<bug-gnu-pspp@@gnu.org>}.
 @end iftex
 
-@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