From a9ded3ac7fb23b2c33ca2e51532b0082d85125f3 Mon Sep 17 00:00:00 2001
From: David MacKenzie <djm@cygnus>
Date: Mon, 9 Aug 1993 20:23:53 +0000
Subject: [PATCH] add @finalout

---
 gdb/doc/stabs.texinfo | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/gdb/doc/stabs.texinfo b/gdb/doc/stabs.texinfo
index 09083eb..d0db48d 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
-- 
2.7.4