diff --git a/gdb/doc/stabs.texinfo b/gdb/doc/stabs.texinfo
index 09083eb1772..d0db48d4e0e 100644
--- a/gdb/doc/stabs.texinfo
+++ b/gdb/doc/stabs.texinfo
@@ -1,6 +1,8 @@
 \input texinfo
 @setfilename stabs.info
 
+@finalout
+
 @ifinfo
 @format
 START-INFO-DIR-ENTRY