名前

       dejagnu help — DejaGNU の補助コマンドに対する man ページの表示

書式

       dejagnu help [options...] ⟨command⟩

説明

       コマンドは、 DejaGnu の補助コマンドに対する長い形式のドキュメントを表示します。

オプション

       -v, --verbose  の操作自体を説明する追加情報を出力します。

       -w, --path     このオプションは、 このまま man に渡されます。

       -W             このオプションは、 このまま man に渡されます。

ファイル

       コマンドは、  このスクリプトが置かれている  commands/  ディレクトリの横並びの doc/ ディレクトリにある man
       ページをチェックします。 man ページがそこに存在した場合、 ファイルのフルネームが man に与えられます。  そ
       うでない場合はコマンド名のみが与えられ、 man(1) に説明されている検索処理が実行されます。

関連項目

       man(1)

著者

       Jacob Bachmeyer

バグ

       現在は man ページのみサポートしています。

GNU                                                2018/12/19                                    DEJAGNU-HELP(1)