diff options
Diffstat (limited to 'gnu/usr.bin/gdb/doc/inc-hist.diff')
| -rw-r--r-- | gnu/usr.bin/gdb/doc/inc-hist.diff | 24 |
1 files changed, 24 insertions, 0 deletions
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 |