diff options
| author | Andrey A. Chernov <ache@FreeBSD.org> | 1994-05-09 23:24:44 +0000 |
|---|---|---|
| committer | Andrey A. Chernov <ache@FreeBSD.org> | 1994-05-09 23:24:44 +0000 |
| commit | 9cadef18e6c5a4e182160533a09f6076ef501838 (patch) | |
| tree | f28f2d52bb4b856ef6a375919e9f851bd131a2ec /gnu/lib/libreadline/doc/hsuser.texinfo | |
| parent | ce4acff5b6111059cbb384355626bffe3112f432 (diff) | |
Notes
Diffstat (limited to 'gnu/lib/libreadline/doc/hsuser.texinfo')
| -rw-r--r-- | gnu/lib/libreadline/doc/hsuser.texinfo | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/gnu/lib/libreadline/doc/hsuser.texinfo b/gnu/lib/libreadline/doc/hsuser.texinfo index cda0a688c74a..a460165e73c8 100644 --- a/gnu/lib/libreadline/doc/hsuser.texinfo +++ b/gnu/lib/libreadline/doc/hsuser.texinfo @@ -26,10 +26,18 @@ into another language, under the above conditions for modified versions. @node Using History Interactively @chapter Using History Interactively +@ifset 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, +see the GNU Readline Library Manual. +@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 @menu * History Interaction:: What it feels like using History as a user. |