diff options
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. |