NFSのネストは効かないようだ．例えばサーバーAでNFSをしているディレクトリαの上位ディレクトリを，サーバーBでNFSしても，サーバーBからディレクトリαを見ることはできない．

manコマンドの設定は，/etc/man.configに書かれている．

makeは通常ターゲットの元になっているファイルが新しくならなければ指定したコマンドを実行しない．しかし，強制的に実行したいときがある．その時はオプション「-B」をつけて実行すること． $ make -B これでMakefile内に記述されたものがすべて無条件で実…