X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fbugs.texi;h=86208d92102bf74398e43b174b628f468e23913b;hb=591e1f9d131470cdd92a2ea3f15d9ae53be36918;hp=2f879171e913fad2917bb086308d42ab82832588;hpb=d807ad29cc0d3caa4f0e04ee4b75c70a225cfeaf;p=pspp

diff --git a/doc/bugs.texi b/doc/bugs.texi
index 2f879171e9..86208d9210 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