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

diff --git a/doc/bugs.texi b/doc/bugs.texi
index 475f357b..2f879171 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