From 056c1b2c3bd98cec6feadafe8fda9774cbf6d030 Mon Sep 17 00:00:00 2001
From: John Gilmore <gnu@cygnus>
Date: Thu, 14 Feb 1991 17:38:06 +0000
Subject: [PATCH] Add copyright and contributor line.

---
 gdb/doc/gdbint.texinfo | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/gdb/doc/gdbint.texinfo b/gdb/doc/gdbint.texinfo
index 3eddb3fd3f..c8955fcb69 100644
--- a/gdb/doc/gdbint.texinfo
+++ b/gdb/doc/gdbint.texinfo
@@ -1,4 +1,6 @@
 GDB Internals documentation
+Copyright 1990, 1991 Free Software Foundation, Inc.
+Contributed by Cygnus Support.  Written by John Gilmore.
 
 This needs to be wrapped in texinfo stuff...
 
@@ -63,6 +65,10 @@ If you call it before printing a space, make sure that your indentation
 properly accounts for the leading space that will print if the line wraps
 there.
 
+Any function or set of functions that produce filtered output must finish
+by printing a newline, to flush the wrap buffer, before switching to
+unfiltered ("printf") output.  Symbol reading routines that print
+warnings are a good example.