freebsd-dev/gnu/usr.bin/gdb/doc/inc-hist.diff

25 lines
813 B
Diff
Raw Normal View History

*** 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