diff options
| author | Bruce Evans <bde@FreeBSD.org> | 1998-05-01 14:13:00 +0000 |
|---|---|---|
| committer | Bruce Evans <bde@FreeBSD.org> | 1998-05-01 14:13:00 +0000 |
| commit | 9ca48245eb37d690b5f99619f67448191485b395 (patch) | |
| tree | 02d8833e0a3d64a34fe476466043176b91f32c96 /gnu/usr.bin/binutils/doc | |
| parent | 5da6b79d47731922975ca10bb8ce6fed44c3de7f (diff) | |
Notes
Diffstat (limited to 'gnu/usr.bin/binutils/doc')
| -rw-r--r-- | gnu/usr.bin/binutils/doc/inc-hist.diff | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/gnu/usr.bin/binutils/doc/inc-hist.diff b/gnu/usr.bin/binutils/doc/inc-hist.diff new file mode 100644 index 000000000000..fdd212081cd3 --- /dev/null +++ b/gnu/usr.bin/binutils/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 |
