diff options
| author | cvs2svn <cvs2svn@FreeBSD.org> | 1999-02-16 01:59:46 +0000 |
|---|---|---|
| committer | cvs2svn <cvs2svn@FreeBSD.org> | 1999-02-16 01:59:46 +0000 |
| commit | 838992f094ccde014679a7cfafc495840eb932a1 (patch) | |
| tree | bb1da10609893e2c699e42919a3a51c02df9caf0 /gnu/usr.bin/gdb/doc | |
| parent | bcb29ac16cc991f99f0c976390dff6be1a1b9058 (diff) | |
Diffstat (limited to 'gnu/usr.bin/gdb/doc')
| -rw-r--r-- | gnu/usr.bin/gdb/doc/Makefile | 2 | ||||
| -rw-r--r-- | gnu/usr.bin/gdb/doc/inc-hist.diff | 24 |
2 files changed, 25 insertions, 1 deletions
diff --git a/gnu/usr.bin/gdb/doc/Makefile b/gnu/usr.bin/gdb/doc/Makefile index 6d7778246c06..63a90eb629ea 100644 --- a/gnu/usr.bin/gdb/doc/Makefile +++ b/gnu/usr.bin/gdb/doc/Makefile @@ -1,4 +1,4 @@ -# $Id$ +# $Id: Makefile,v 1.10 1998/05/01 14:08:30 bde Exp $ INFO= annotate gdb gdbint stabs diff --git a/gnu/usr.bin/gdb/doc/inc-hist.diff b/gnu/usr.bin/gdb/doc/inc-hist.diff new file mode 100644 index 000000000000..fdd212081cd3 --- /dev/null +++ b/gnu/usr.bin/gdb/doc/inc-hist.diff @@ -0,0 +1,24 @@ +*** hsuser.texinfo Fri May 1 23:48:48 1998 +--- inc-hist.texi Mon Jun 30 22:57:58 1997 +*************** +*** 34,42 **** + @end ifset + @ifclear BashFeatures + This chapter describes how to use the GNU History Library interactively, +! from a user's standpoint. It should be considered a user's guide. For +! information on using the GNU History Library in your own programs, +! @pxref{Programming with GNU History}. + @end ifclear + + @ifset BashFeatures +--- 34,43 ---- + @end ifset + @ifclear BashFeatures + This chapter describes how to use the GNU History Library interactively, +! from a user's standpoint. +! @c It should be considered a user's guide. For +! @c information on using the GNU History Library in your own programs, +! @c @pxref{Programming with GNU History}. + @end ifclear + + @ifset BashFeatures |