diff options
Diffstat (limited to 'readline/doc/inc-hist.texinfo')
| -rw-r--r-- | readline/doc/inc-hist.texinfo | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/readline/doc/inc-hist.texinfo b/readline/doc/inc-hist.texinfo index f7f7644f508..06774b74916 100644 --- a/readline/doc/inc-hist.texinfo +++ b/readline/doc/inc-hist.texinfo @@ -23,10 +23,8 @@ Permission is granted to copy and distribute translations of this manual into another language, under the above conditions for modified versions. @end ignore -@ifclear GDBN @node Using History Interactively @chapter Using History Interactively -@end ifclear @ifset BashFeatures This chapter describes how to use the GNU History Library interactively, |