diff options
| author | Miles Bader <miles@gnu.org> | 1996-09-02 01:46:25 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1996-09-02 01:46:25 +0000 |
| commit | 55540d41a5ae1328f2c6d81e429fc6956b2e6466 (patch) | |
| tree | feb175fcd9ce95600cbc33befe95441435131b6b /exec/Makefile | |
| parent | 074b2f1ee60073b31b7df51f821c709670da8e68 (diff) | |
(argp_help):
Print documentation only according to the ARGP_HELP_*_DOC bits in FLAGS.
Possibly print bug report address if ARGP_HELP_BUG_ADDR is set.
Replace FIRST by ANYTHING (sense inverted).
Diffstat (limited to 'exec/Makefile')
0 files changed, 0 insertions, 0 deletions