名前

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

書式

     dejagnu help [options...] ⟨command⟩

説明

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

オプション

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

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

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

ファイル

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

関連項目

     man(1)

著者

     Jacob Bachmeyer

バグ

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