DEJAGNU-HELP(1)

名前
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 ページのみサポートしています。