[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Help-bash] builtin commands with duplicated documentation strings
|
From: |
Ernest Adrogué |
|
Subject: |
Re: [Help-bash] builtin commands with duplicated documentation strings |
|
Date: |
Tue, 10 Jan 2017 18:45:51 +0100 |
|
User-agent: |
NeoMutt/20161126 (1.7.1) |
2017-01- 9, 17:42 (-0500); Chet Ramey escriu:
> It's intentional. The file (pushd.def) can be built as part of bash or
> as a loadable builtin, and the help documentation has to be included for
> each case.
Understood. Thanks.